Antal Spector-Zabusky's repositories
macrotest
Test harness for declarative and procedural macros expansion via `cargo-expand`
git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
rust-embedded-discovery
Discovering the world of microcontrollers through Rust!
obsidian-noisy-editorsuggest
An Obsidian plugin that prints out all the information an EditorSuggest receives, for learning how things work
GlimpseOfLean
Worked solutions to PatrickMassot/GlimpseOfLean (An introduction to theorem proving in Lean for the impatient.)
fourmolu.el
A configurable formatter for Haskell source code (based on vyorkin/ormolu.el)
flambda-backend
The Flambda backend project for OCaml
ocamlformat
Auto-formatter for OCaml code
ppxlib
Base library and tools for ppx rewriters
crawl
Dungeon Crawl: Stone Soup fork for PRs
ocaml-jst
OCaml plus Jane Street extensions
merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml
My experiments with and extensions to OCaml
cabal
Official upstream development repository for Cabal and cabal-install
ocaml-algebraic-effects
A semantics for our proposed design for algebraic effects for OCaml
urn-random
A Haskell package for updatable discrete distributions
quantum-halftoning
The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”
magnus_archives_transcripts
Lazy Jekyll site of transcripts of episodes of the podcast The Magnus Archives.
jfp-natbib-hack
A hack to make JFP's bibliography compatible with natbib
NetHack
Official NetHack Git Repository
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
stack
The Haskell Tool Stack
align-table
Aligns and pretty-prints unaligned or semi-aligned tabular plain text data
folk-songs-for-todays-folks
Lyrics for "Folk Songs For Today's Folks" (for Queer Contra Camp 2018)
universe
Classes for types where we know all the values