Former MIM UW student. Interested in functional programming and programming language development.
- London
Block or Report
Block or report Joald
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
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.