Antal Spector-Zabusky's repositories
urn-random
A Haskell package for updatable discrete distributions
ocaml-algebraic-effects
A semantics for our proposed design for algebraic effects for OCaml
functional-shuffle
Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm
coqc-expand-errors
Run `coqc` and print out colorized Coq error location information
jfp-natbib-hack
A hack to make JFP's bibliography compatible with natbib
quantum-halftoning
The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”
align-table
Aligns and pretty-prints unaligned or semi-aligned tabular plain text data
flambda-backend
The Flambda backend project for OCaml
folk-songs-for-todays-folks
Lyrics for "Folk Songs For Today's Folks" (for Queer Contra Camp 2018)
fourmolu.el
A configurable formatter for Haskell source code (based on vyorkin/ormolu.el)
git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
GlimpseOfLean
Worked solutions to PatrickMassot/GlimpseOfLean (An introduction to theorem proving in Lean for the impatient.)
macrotest
Test harness for declarative and procedural macros expansion via `cargo-expand`
magnus_archives_transcripts
Lazy Jekyll site of transcripts of episodes of the podcast The Magnus Archives.
obsidian-noisy-editorsuggest
An Obsidian plugin that prints out all the information an EditorSuggest receives, for learning how things work
ocamlformat
Auto-formatter for OCaml code
rust-embedded-discovery
Discovering the world of microcontrollers through Rust!