antalsz
I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.
@rigettiBrooklyn, NY
Pinned Repositories
choose-your-own-derivative
Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"
coqc-expand-errors
Run `coqc` and print out colorized Coq error location information
draft
A LaTeX package for commands that exist only when a document is in draft mode
functional-shuffle
Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm
hs-to-coq
Convert Haskell source code to Coq source code
ocaml-algebraic-effects
A semantics for our proposed design for algebraic effects for OCaml
quantum-halftoning
The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”
tree-dye
Random spanning tree “tie-dye”
urn-random
A Haskell package for updatable discrete distributions
hs-to-coq
Convert Haskell source code to Coq source code.
antalsz's Repositories
antalsz/hs-to-coq
Convert Haskell source code to Coq source code
antalsz/choose-your-own-derivative
Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"
antalsz/urn-random
A Haskell package for updatable discrete distributions
antalsz/ocaml-algebraic-effects
A semantics for our proposed design for algebraic effects for OCaml
antalsz/functional-shuffle
Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm
antalsz/tree-dye
Random spanning tree “tie-dye”
antalsz/coqc-expand-errors
Run `coqc` and print out colorized Coq error location information
antalsz/jfp-natbib-hack
A hack to make JFP's bibliography compatible with natbib
antalsz/quantum-halftoning
The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”
antalsz/text-set
Use a DAFSA (aka a DAWG) to implement a set of strings
antalsz/th-printf
Compile-time checked printf
antalsz/align-table
Aligns and pretty-prints unaligned or semi-aligned tabular plain text data
antalsz/cabal
Official upstream development repository for Cabal and cabal-install
antalsz/crawl
Dungeon Crawl: Stone Soup fork for PRs
antalsz/flambda-backend
The Flambda backend project for OCaml
antalsz/folk-songs-for-todays-folks
Lyrics for "Folk Songs For Today's Folks" (for Queer Contra Camp 2018)
antalsz/fourmolu.el
A configurable formatter for Haskell source code (based on vyorkin/ormolu.el)
antalsz/git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
antalsz/GlimpseOfLean
Worked solutions to PatrickMassot/GlimpseOfLean (An introduction to theorem proving in Lean for the impatient.)
antalsz/magnus_archives_transcripts
Lazy Jekyll site of transcripts of episodes of the podcast The Magnus Archives.
antalsz/merlin
Context sensitive completion for OCaml in Vim and Emacs
antalsz/NetHack
Official NetHack Git Repository
antalsz/obsidian-noisy-editorsuggest
An Obsidian plugin that prints out all the information an EditorSuggest receives, for learning how things work
antalsz/ocaml
My experiments with and extensions to OCaml
antalsz/ocaml-jst
OCaml plus Jane Street extensions
antalsz/ocamlformat
Auto-formatter for OCaml code
antalsz/ppxlib
Base library and tools for ppx rewriters
antalsz/rust-embedded-discovery
Discovering the world of microcontrollers through Rust!
antalsz/stack
The Haskell Tool Stack
antalsz/universe
Classes for types where we know all the values