Projects in Awesome Lists by radrow
A curated list of projects in awesome lists by radrow .
https://github.com/radrow/radlang
A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
haskell interpreter parsing programming-language
Last synced: 16 Mar 2025
https://github.com/radrow/ddtrace
Distributed deadlock detection via asynchronous (pitch)black-box monitors
deadlock-detection erlang gen-server monitoring
Last synced: 17 Feb 2026
https://github.com/radrow/tftp-client-coq
TFTP client written and partially proven in Coq and OCaml
Last synced: 16 Mar 2025
https://github.com/radrow/blockchain-toy
Simple blockchain implementation in Haskell
actor-model blockchain haskell
Last synced: 16 Mar 2025
https://github.com/radrow/pacman
Shorted cheatscheet of pacman's manpage and arch wiki. Collection of most useful things in my opinion
Last synced: 19 Mar 2026
https://github.com/radrow/masters-thesis
Liquid types for verification of smart contracts --- my master's thesis in computer science
Last synced: 19 Mar 2026
https://github.com/radrow/satisfaction
A performant and elegant implementation of CDCL and DPLL SAT solving algorithms
Last synced: 16 Mar 2025
https://github.com/radrow/tiny-semantics
Task for Semantics and Programs Verification course at MIMUW – denotational semantics of extended Tiny programming language in continuational style
continuation-passing-style haskell interpreter programming-language semantics
Last synced: 16 Mar 2025
https://github.com/radrow/instant-compiler
Simple calculator compiler for JVM and LLVM created as an assessment for MIMUW course
Last synced: 19 Oct 2025
https://github.com/radrow/fizzbuzz-coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
Last synced: 16 Mar 2025
https://github.com/radrow/postkrypt
Extension to PostScript subset written in Haskell
Last synced: 16 Mar 2025
https://github.com/radrow/hagia-sophia
Automated property checker for Sophia smart contract language
Last synced: 16 Mar 2025
https://github.com/radrow/sophia-libraries
Some libraries for Sophia programming language that could be standard
Last synced: 16 Mar 2025
https://github.com/radrow/latte
x86 compiler of Latte – statically typed object oriented programming language inspired by Java
Last synced: 16 Mar 2025
https://github.com/radrow/weatherr
Weather applet written in Scala using JavaFX
Last synced: 07 Oct 2025