jfeser

Jack Feser's repositories

L2

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

Language:OCamlApache-2.068 7 6

bitarray

Fast vectorized bitarrays for OCaml

Language:OCamlLGPL-3.015 20

castor

Deductive synthesis and compilation of specialized databases.

Language:OCamlMIT12 60

combinat

Fast combinatorics functions for OCaml.

Language:OCamlMIT9 4 1

symetric

Language:OCamlGPL-3.03 20

dreamcoder

Language:Python1 20

sketch-mode

Emacs mode for the Sketch synthesizer language

Language:Emacs LispGPL-2.01 20

sshpass

Language:CGPL-2.01 20

aidermacs

AI Pair Programming in Emacs

Language:Emacs LispApache-2.0000

castor-opt

Optimizer for the Castor compiler.

Language:OCamlMIT03 1

chirho

An experimental language for causal reasoning

Language:PythonApache-2.0000

domino-abstraction

Language:Python000

dune

A composable build system for OCaml.

Language:OCamlMIT010

genhash

Universal hash generation

Language:OCaml030

guix

Language:Scheme020

home-manager

Language:Nix020

jfeser.github.io

Language:HTML020

nixpkgs

Nix Packages collection

Language:NixMIT010

ocaml-ancient

trial at reviving the ancient library

Language:C010

ocaml-lsp

OCaml Language Server Protocol implementation

Language:OCamlNOASSERTION020

opam-nix

Turn opam-based OCaml projects into Nix derivations

Language:NixMIT010

opam-repository

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

Language:ShellCC0-1.0020

py-simple-audio

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

Language:CNOASSERTION010

pypld

Operational semantics tools in Python

Language:PythonGPL-3.0020

sketch-backend

Language:C++NOASSERTION010

sketch-frontend

Language:JavaNOASSERTION010

sketch-nix

Language:Nix020

topk

Language:OCaml020

vp-tree

Vantage point tree implementation in OCaml

Language:OCamlBSD-3-Clause010

z3overlay

An overlay for the OCaml Z3 binding.

Language:OCamlMIT010