Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.
Rust 5
Yet Another Vertical Scrolling Shooter
Forked from redox-os/netstack
Redox OS network stack
Rust 4
Compiler of a pascal-like programming language with built-in cooperative multitasking capabilities targeting AVR and PIC uC.
Haskell 1
Forked from DanielG/ghc-mod
Happy Haskell programming on Emacs/Vim
Emacs Lisp
Forked from chris-taylor/aima-haskell
Algorithms from AIMA in Haskell
Haskell
Seeing something unexpected? Take a look at the GitHub profile guide.