Pinned Repositories
bitarray
Fast vectorized bitarrays for OCaml
castor
Deductive synthesis and compilation of specialized databases.
combinat
Fast combinatorics functions for OCaml.
earley
An Earley algorithm implementation which uses task parallelism.
L2
λ² is a tool for synthesizing functional programs from input-output examples.
loopfinder
Extract looping GIFs from longer videos using locality-sensitive hashing.
Noisy
White Noisy Generator for OS X
odoc2docset
Create Dash docsets from Odoc generated documentation.
tpch-dbgen
TPC-H and scripts for PostgreSQL
imputedb
A database with automatic dynamic imputation of missing values.
jfeser's Repositories
jfeser/L2
λ² is a tool for synthesizing functional programs from input-output examples.
jfeser/odoc2docset
Create Dash docsets from Odoc generated documentation.
jfeser/bitarray
Fast vectorized bitarrays for OCaml
jfeser/castor
Deductive synthesis and compilation of specialized databases.
jfeser/combinat
Fast combinatorics functions for OCaml.
jfeser/dreamcoder
jfeser/sketch-mode
Emacs mode for the Sketch synthesizer language
jfeser/sshpass
jfeser/symetric
jfeser/castor-opt
Optimizer for the Castor compiler.
jfeser/dune
A composable build system for OCaml.
jfeser/genhash
Universal hash generation
jfeser/guix
jfeser/home-manager
jfeser/jfeser.github.io
jfeser/mtree
Implementation of M-trees for OCaml
jfeser/nixpkgs
Nix Packages collection
jfeser/ocaml-ancient
trial at reviving the ancient library
jfeser/ocaml-lsp
OCaml Language Server Protocol implementation
jfeser/opam-nix
Turn opam-based OCaml projects into Nix derivations
jfeser/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
jfeser/parallel
Run commands in parallel with time and memory limits, using cgroups
jfeser/py-simple-audio
A simple audio playback Python extension - cross-platform, asynchronous, dependency-free
jfeser/pypld
Operational semantics tools in Python
jfeser/sketch-backend
jfeser/sketch-frontend
jfeser/sketch-nix
jfeser/topk
jfeser/vp-tree
Vantage point tree implementation in OCaml
jfeser/z3overlay
An overlay for the OCaml Z3 binding.