dariusf

befuzzle

Grammar-based fuzzing of REST APIs via an OpenAPI spec

csvq

Glue for manipulating CSV files in shell pipelines

flora

A toy structural editor

infernu

Type inference and checking for a safer JavaScript.

leaky-abstraction

A programming game which exposes too much to players

archaeology

choice

Choice operator in OCaml, providing a backtracking monad

committer

Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang

disel

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

exnihilo

fuzzy-fiesta

genealographer

ASP code for generating family trees.

gotwopc

Two-Phase Commit in Go

gttd

honkit-publish

kindlegen

ocaml-lens

Private extraction of astrada's lens library

pandoc-publish

PDFInverter

Utility program to losslessly invert all colors of a PDF

plugin-mathjax

MathJAX plugin for GitBook

ppx_deriving

Type-driven code generation for OCaml >=4.02

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

reprocessing

ReasonML graphics library inspired by Processing

rouge

A pure-ruby code highlighter that is compatible with pygments http://rouge.jneen.net/

rpqlol

satb-bird

SendCode

Send code and text to macOS and Linux Terminals, iTerm, ConEmu, Cmder, Tmux, TerminalView; R (RStudio), Julia, IPython.

sql.idr

yi-editor.github.com

Official documentation files