naomiiiiiiiii

faster-minikanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

MK2020

awesome-computer-history

An Awesome List of computer history videos, documentaries and related folklore

velus

A Lustre compiler in Coq

opl

Operad Programming Language in Haskell, by David Darais

build-bom

Dynamically discover the commands used to create a piece of software

coq-operads

Barliman

Prototype smart text editor

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

10klines

proof of writing over 10k lines of code

haskell-mode

Emacs mode for Haskell

ortac

Runtime assertion checking based on Gospel specifications

istari

Sketchpad

girards-paradox

A "implementation" of Girard's paradox in OCaml

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

metaquot

OCaml syntax extension for quoting code

coqproject

Bash script for simple generation of Coq project metadata files

netter

Produce Prism models from a simple imperative language

cmtool

Lexer and parser generators for Standard ML, OCaml, and Haskell.