jfeser

L2

λ² is a tool for synthesizing functional programs from input-output examples.

odoc2docset

Create Dash docsets from Odoc generated documentation.

bitarray

Fast vectorized bitarrays for OCaml

castor

Deductive synthesis and compilation of specialized databases.

combinat

Fast combinatorics functions for OCaml.

dreamcoder

sketch-mode

Emacs mode for the Sketch synthesizer language

sshpass

symetric

castor-opt

Optimizer for the Castor compiler.

dune

A composable build system for OCaml.

genhash

Universal hash generation

guix

home-manager

jfeser.github.io

mtree

Implementation of M-trees for OCaml

nixpkgs

Nix Packages collection

ocaml-ancient

trial at reviving the ancient library

ocaml-lsp

OCaml Language Server Protocol implementation

opam-nix

Turn opam-based OCaml projects into Nix derivations

opam-repository

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

parallel

Run commands in parallel with time and memory limits, using cgroups

py-simple-audio

A simple audio playback Python extension - cross-platform, asynchronous, dependency-free

pypld

Operational semantics tools in Python

sketch-backend

sketch-frontend

sketch-nix

topk

vp-tree

Vantage point tree implementation in OCaml

z3overlay

An overlay for the OCaml Z3 binding.