Alex Bagnall

holyc_mal. Mal Lisp for TempleOS

6502. Cycle-accurate 6502 emulator as coroutine in Rust

sexp-trees. Interactive s-expression tree viewer

ensemble_detect_adv. Training Ensembles to Detect Adversarial Examples

newton_bevy. N-body simulation with elastic collisions in Rust/Bevy

zar. Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

ocamlzar. Formally verified discrete samplers in OCaml.

algco. Algebraic Coinductives

AAL_code. Source code for Array Animation Language

AAL. Array Animation Language

PCF. A PCF interpreter in Haskell.

nash. Mixed nash equilibrium solver

nes. NES emulator

hakan. A functional programming language with algebraic datatypes and typeclasses

functors-monads. Monads from adjunctions in Coq.