Stars
Miscellaneous articles. The readme is the table of contents.
A purely functional programming language with first class types
Streamline your Beamer presentations with our Org mode Beamer Refcard. Download now for quick reference and enhanced productivity. #orgmode #beamer #referencecard #productivity
My personal repository of formally verified mathematics.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
a simple terminal based snake game written in c with ncurses. Uses vim style hjkl to move around
Featureful ncurses based MPD client inspired by ncmpc
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE