Name: Antal Spector-Zabusky
Type: User
Company: @rigetti
Bio: I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.
Twitter: antalsz
Location: Brooklyn, NY
Blog: https://gitlab.com/antalsz
Antal Spector-Zabusky's Projects
Aligns and pretty-prints unaligned or semi-aligned tabular plain text data
Official upstream development repository for Cabal and cabal-install
Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"
Some basic libraries for Coq.
Run `coqc` and print out colorized Coq error location information
Dungeon Crawl: Stone Soup fork for PRs
A LaTeX package for commands that exist only when a document is in draft mode
The Flambda backend project for OCaml
Lyrics for "Folk Songs For Today's Folks" (for Queer Contra Camp 2018)
A configurable formatter for Haskell source code (based on vyorkin/ormolu.el)
Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm
Quickly rewrite git repository history (filter-branch replacement)
Worked solutions to PatrickMassot/GlimpseOfLean (An introduction to theorem proving in Lean for the impatient.)
Emacs mode for Haskell
Convert Haskell source code to Coq source code
A hack to make JFP's bibliography compatible with natbib
Test harness for declarative and procedural macros expansion via `cargo-expand`
Lazy Jekyll site of transcripts of episodes of the podcast The Magnus Archives.
Context sensitive completion for OCaml in Vim and Emacs
Official NetHack Git Repository
An Obsidian plugin that prints out all the information an EditorSuggest receives, for learning how things work
My experiments with and extensions to OCaml
A semantics for our proposed design for algebraic effects for OCaml
OCaml plus Jane Street extensions
Auto-formatter for OCaml code
Base library and tools for ppx rewriters
The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”
Discovering the world of microcontrollers through Rust!
The Haskell Tool Stack