jfeser

Research Scientist

@BasisResearch New York, NY

Pinned Repositories

bitarray
Fast vectorized bitarrays for OCaml
Language:OCaml15 2 00
castor
Deductive synthesis and compilation of specialized databases.
Language:OCaml12 7 01
combinat
Fast combinatorics functions for OCaml.
Language:OCaml8 5 10
earley
An Earley algorithm implementation which uses task parallelism.
Language:C++8 6 01
L2
λ² is a tool for synthesizing functional programs from input-output examples.
Language:OCaml67 7 67
loopfinder
Extract looping GIFs from longer videos using locality-sensitive hashing.
Language:Python5 3 00
Noisy
White Noisy Generator for OS X
Language:Objective-C2 3 00
odoc2docset
Create Dash docsets from Odoc generated documentation.
Language:OCaml22 4 53
symetric
Language:OCaml3 2 00
imputedb
A database with automatic dynamic imputation of missing values.
Language:Java10 12 04

jfeser's Repositories

jfeser/L2
λ² is a tool for synthesizing functional programs from input-output examples.
Language:OCaml67 7 67
jfeser/bitarray
Fast vectorized bitarrays for OCaml
Language:OCaml15 2 00
jfeser/castor
Deductive synthesis and compilation of specialized databases.
Language:OCaml12 7 01
jfeser/combinat
Fast combinatorics functions for OCaml.
Language:OCaml8 5 10
jfeser/symetric
Language:OCaml3 2 00
jfeser/dreamcoder
Language:Python1 2 04
jfeser/sketch-mode
Emacs mode for the Sketch synthesizer language
Language:Emacs Lisp1 2 01
jfeser/sshpass
Language:C1 2 0
jfeser/castor-opt
Optimizer for the Castor compiler.
Language:OCaml4 1
jfeser/chirho
An experimental language for causal reasoning
Language:Python0 0
jfeser/domino-abstraction
Language:Python
jfeser/dune
A composable build system for OCaml.
Language:OCaml1 0
jfeser/genhash
Universal hash generation
Language:OCaml3 0
jfeser/guix
Language:Scheme2 0
jfeser/home-manager
Language:Nix2 0
jfeser/jfeser.github.io
Language:HTML3 0
jfeser/nixpkgs
Nix Packages collection
Language:Nix1 0
jfeser/ocaml-ancient
trial at reviving the ancient library
Language:C1 0
jfeser/ocaml-lsp
OCaml Language Server Protocol implementation
Language:OCaml2 0
jfeser/opam-nix
Turn opam-based OCaml projects into Nix derivations
Language:Nix1 0
jfeser/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell3 0
jfeser/parallel
Run commands in parallel with time and memory limits, using cgroups
Language:Python2 0
jfeser/py-simple-audio
A simple audio playback Python extension - cross-platform, asynchronous, dependency-free
Language:C1 01
jfeser/pypld
Operational semantics tools in Python
Language:Python2 0
jfeser/sketch-backend
Language:C++1 0
jfeser/sketch-frontend
Language:Java1 0
jfeser/sketch-nix
Language:Nix2 0
jfeser/topk
Language:OCaml2 0
jfeser/vp-tree
Vantage point tree implementation in OCaml
Language:OCaml1 0
jfeser/z3overlay
An overlay for the OCaml Z3 binding.
Language:OCaml2 0