Popular repositories Loading

1. neo-tree-diagnostics.nvim neo-tree-diagnostics.nvim Public

   A diagnostics source for neo-tree.nvim

   Lua 95 2

2. a-puzzle-a-day a-puzzle-a-day Public

   Generate and browse all solutions to A-Puzzle-A-Day

   Rust 6

3. dotfiles dotfiles Public

   A collection of my personal configuration files

   Lua 2

4. peulbot peulbot Public

   A discord bot and a neural network for Project Euler (see README).

   Python 1

5. mm-compiler mm-compiler Public

   A MicroMorpho compiler

   Haskell 1

6. principal-type principal-type Public

   An implementation of the principal type algorithm for simply typed lambda calculus

   Haskell 1