Repositories Users Organizations
Filter
Sort
dan/ scripts
Python 0 0 0
random useful scripts
Updated 2026-08-10 15:37:47 +02:00
dan/ ebookm
Rust 0 0 0
make an .epub out of substack posts
Updated 2026-05-29 11:48:38 +02:00
dan/ rust-aut
Rust 0 0 0
Updated 2024-06-12 21:35:53 +02:00
dan/ webcc
OCaml 0 0 0
a stupid website compiler
Updated 2023-06-23 12:32:15 +02:00
dan/ outrun
Racket 0 0 0
just an experiment
Updated 2020-04-01 12:31:32 +02:00
dan/ haunt
Scheme 0 0 0
Updated 2019-12-16 13:50:39 +01:00
dan/ tetris
C++ 0 0 0
Tetris on ESP32 via the Arduino SDK
Updated 2019-09-01 18:31:22 +02:00
dan/ arduino-joystick
C++ 0 0 0
Updated 2019-08-05 20:30:46 +02:00
dan/ rushby-noninterference
Coq 0 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 0
Work In Progress: Guile Scheme support for TIC-80
Updated 2019-07-30 11:06:32 +02:00
dan/ czf
Coq 0 0 0
CZF model in type theory
Updated 2019-07-30 11:02:35 +02:00
dan/ hoare-completeness
Coq 0 0 0
Relative completness of Hoare logic
Updated 2019-07-30 10:46:57 +02:00
dan/ ocaml-wiringpi
OCaml 0 0 0
my patches for ocaml-wiringpi
Updated 2019-06-29 17:07:24 +02:00
dan/ HITs-Examples
Coq 0 0 0
Updated 2018-02-10 20:06:37 +01:00