Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
dan / webcc
OCaml 0 0
a stupid website compiler
Updated 2023-06-23 12:32:15 +02:00
dan / scripts
Scheme 0 0
random useful scripts
Updated 2020-06-25 16:57:29 +02:00
dan / outrun
Racket 0 0
just an experiment
Updated 2020-04-01 12:31:32 +02:00
dan / haunt
Scheme 0 0
Updated 2019-12-16 13:50:39 +01:00
dan / tetris
C++ 0 0
Tetris on ESP32 via the Arduino SDK
Updated 2019-09-01 18:31:22 +02:00
dan / arduino-joystick
C++ 0 0
Updated 2019-08-05 20:30:46 +02:00
dan / rushby-noninterference
Coq 0 0
formalisation of Rushby's intransitive noninterference from "Noninterference, Transitivity, and Channel-Control Security Policies"
Updated 2019-07-30 11:07:37 +02:00
dan / TIC-80-guile
C 0 0
Work In Progress: Guile Scheme support for TIC-80
Updated 2019-07-30 11:06:32 +02:00
dan / czf
Coq 0 0
CZF model in type theory
Updated 2019-07-30 11:02:35 +02:00
dan / hoare-completeness
Coq 0 0
Relative completness of Hoare logic
Updated 2019-07-30 10:46:57 +02:00
dan / ocaml-wiringpi
OCaml 0 0
my patches for ocaml-wiringpi
Updated 2019-06-29 17:07:24 +02:00
dan / HITs-Examples
Coq 0 0
Updated 2018-02-10 20:06:37 +01:00