-
wp-meta-plugin Public
Hugely experimental WordPress plugin that can create arbitrary WordPress plugins
PHP UpdatedApr 8, 2026 -
-
budge Public
Budge - a programming language and a theorem prover
-
misc Public
Misc playground and random stuff
-
pf500 Public
Synergy PF-500 Fiscal Printer API
-
gidti Public
Book: Introduction to Dependent Types with Idris
-
-
evm-esp32 Public
A virtual machine for ESP32, allowing dynamic program updates.
-
master-thesis Public
Formal verification of Instruction Sets in Virtual Machines
-
hashtable Public
Hashtable implementation in C
-
hoare-hask Public
Paper: Tutorial implementation of Hoare logic in Haskell
-
-
sicp Public
My solutions for SICP
-
formal-ed Public
Paper: Formalizing line editors in Coq
-
zero-to-react Public
Forked from jsnajdr/zero-to-reactZero to React
JavaScript UpdatedSep 22, 2019 -
-
soko-scheme Public
Soko implementation in Scheme
-
hello-idris Public
A WordPress plugin written in Idris
-
dafny-tutorial Public
Exercises for the Dafny Tutorial
-
-
-
-
soko-gba Public
Sokoban for Game Boy Advance
-
chip-8 Public
CHIP-8 virtual machine was made to allow video games to be more easily programmed for said computers
-
-
-
-
jLina Public
jLina is a Service-oriented application written in C for Windows, which uses the Winsock library, zlib and ODBC library.
1 CreatedApr 7, 2012
{{ message }}