gfngfn

deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

wasm-mogul

imo2

optparse-generic

Auto-generate a command-line parser for your datatype

optparse-applicative

Applicative option parser

cmdargs

Haskell library for command line argument processing

boxes

A pretty-printing library for laying out text in two dimensions, using a simple box model.

final-pretty-printer

A monadic (and pretty) pretty printer for Haskell

psd-watch-inference

lang-n-prove

Lang-n-Prove: A Proof Language for Language Proofs

anthem-p2p

Program-to-program verification tool for ASP

satysfi-parallel

Typesetting two texts parallel

error-localization-artifact

POPL 2024 artifact for Total Type Error Localization and Recovery with Holes

hazel

Hazel, a live functional programming environment with typed holes

compiler-learning

playground for compiler

miri

An interpreter for Rust's mid-level intermediate representation

plugins

🍣 The one-stop shop for official Rollup plugins

Earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

creusot

Creusot helps you prove your code is correct in an automated fashion.

pcre-ocaml

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

graten

"Gradual Tensor Shape Checking" (ESOP 23)

httpun

A high performance, memory efficient, and scalable web server written in OCaml

jsplumb

Visual connectivity for webapps

community-edition

The community edition of jsPlumb, versions 1.x - 6.x

uunf

Unicode text normalization for OCaml

lispjit

PoC lisp interpreter that performs JIT Common-Lisp code generation

jnv

Interactive JSON filter using jq

sicp-pdf

SICP PDF with Texinfo and LaTeX source

djot

A light markup language

shellcheck

ShellCheck, a static analysis tool for shell scripts

satysfi-footnote-scheme-ext

A package to allow SATySFi to have floating boxes at the bottom of pages.