Former MIM UW student. Interested in functional programming and programming language development.
- London
Pinned Loading
-
-
-
coq-tftp-client
coq-tftp-client PublicTFTP client written in Coq and OCaml - university assignment
Coq
-
latte-compiler
latte-compiler PublicCompiler of the Latte language to 32-bit x86 written in Haskell as a university assignment
Haskell
-
instant-compiler
instant-compiler PublicCompiler of the Instant 'language' to JVM and LLVM written in Haskell as a university assignment
Haskell
-
microcontrollers
microcontrollers PublicCollection of programs created during the Microcontrollers class
C 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.