antalsz Goto Github PK

align-table

Aligns and pretty-prints unaligned or semi-aligned tabular plain text data

cabal

Official upstream development repository for Cabal and cabal-install

choose-your-own-derivative

Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

coq-utils

Some basic libraries for Coq.

coqc-expand-errors

Run `coqc` and print out colorized Coq error location information

crawl

Dungeon Crawl: Stone Soup fork for PRs

draft

A LaTeX package for commands that exist only when a document is in draft mode

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)

functional-shuffle

Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm

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.)

haskell-mode

Emacs mode for Haskell

hs-to-coq

Convert Haskell source code to Coq source code

jfp-natbib-hack

A hack to make JFP's bibliography compatible with natbib

magnus_archives_transcripts

Lazy Jekyll site of transcripts of episodes of the podcast The Magnus Archives.

merlin

Context sensitive completion for OCaml in Vim and Emacs

nethack

Official NetHack Git Repository

obsidian-noisy-editorsuggest

An Obsidian plugin that prints out all the information an EditorSuggest receives, for learning how things work

ocaml

My experiments with and extensions to OCaml

ocaml-algebraic-effects

A semantics for our proposed design for algebraic effects for OCaml

ocaml-jst

OCaml plus Jane Street extensions

ocamlformat

Auto-formatter for OCaml code

ppxlib

Base library and tools for ppx rewriters

quantum-halftoning

The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”

rust-embedded-discovery

Discovering the world of microcontrollers through Rust!

stack

The Haskell Tool Stack

tardis

text-set

Use a DAFSA (aka a DAWG) to implement a set of strings