Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.
Yet Another Vertical Scrolling Shooter
Forked from redox-os/netstack
Redox OS network stack
Compiler of a pascal-like programming language with built-in cooperative multitasking capabilities targeting AVR and PIC uC.
Forked from DanielG/ghc-mod
Happy Haskell programming on Emacs/Vim
Forked from chris-taylor/aima-haskell
Algorithms from AIMA in Haskell