Egor's repositories
aima-haskell
Algorithms from AIMA in Haskell
helix
A post-modern modal text editor.
Language:RustMPL-2.0000
idris-fizzbuzz
Formally-proven FizzBuzz in Idris
quicksilver
A simple game framework for 2D games on desktop and web
Serbia
Algorithms from AIMA in Haskell
A post-modern modal text editor.
Formally-proven FizzBuzz in Idris
A simple game framework for 2D games on desktop and web