dariusf

ppx_debug

Tools for record-and-replay debugging

ppx_interact

Interactive breakpoints!

ppx_polyprint

A small library for convenient printf debugging and function tracing

ppx_debug-vscode

ppx_debug + VSCode

ppx_deriving_unparse

Are you tired of writing pretty-printers?!

ppx_record_update

Syntax for updates to nested records

csvq

Glue for manipulating CSV files in shell pipelines

dariusf.github.io

ppx_deriving_brr

sonicpi-workshop

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

ocaml

The core OCaml system: compilers, runtime system, base libraries

cameleer

A Deductive Verification Tool for OCaml Programs

committer

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

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

congenial-telegram

fable

FiraCode

Free monospaced font with programming ligatures

hugo-bearblog

🧸 A Hugo theme based on »Bear Blog«. Free, no-nonsense, super-fast blogging. This theme now includes a dark color scheme to support dark mode 🦉 ⬛️!

jsondiff

JSON sensitive diffing

literate-calc-mode.el

🧮 Literate programming for M-x calc

mouseover-minesweeper

New controls for Minesweeper

ocaml-z3

opam-repository

Main public package repository for opam, the source package manager of OCaml.

program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

random-generator

A small OCaml library to randomly generate values

satb-bird

sonic-pi

Code. Music. Live.

test

try-extensible-trace