Iceland

Bjarki Baldursson Harksen

Expert
@mrbjarksen

neo-tree-diagnostics.nvim. A diagnostics source for neo-tree.nvim

100

a-puzzle-a-day. Generate and browse all solutions to A-Puzzle-A-Day

11

dotfiles. A collection of my personal configuration files

2

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

1

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

1

mm-compiler. A MicroMorpho compiler

1
6
Apply