There are no reviews yet. Be the first to send feedback to the community and the maintainers!
aerepl
REPL for Sophia languagei3hloc
Flexible scheduler for i3barradlang
A functional programming language intepreter with typeclasses, full type inference and lazy evaluationmasters-thesis
Liquid types for verification of smart contracts --- my master's thesis in computer sciencetftp-client-coq
TFTP client written and partially proven in Coq and OCamlblockchain-toy
Simple blockchain implementation in HaskellFixMe-server
fizzbuzz-coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coqinstant-compiler
Simple calculator compiler for JVM and LLVM created as an assessment for MIMUW courseTiny-Semantics
Task for Semantics and Programs Verification course at MIMUW – denotational semantics of extended Tiny programming language in continuational styleLove Open Source and this site? Check out how you can help us