Jack Feser (@jfeser)
github

jfeser

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    144
  • Global Rank 158,553 (Top 6 %)
  • Followers 42
  • Following 89
  • Registered about 13 years ago
  • Most used languages
    OCaml
         53.8 %
    C
         15.4 %
    Python
         15.4 %
    Emacs Lisp
         7.7 %
    C++
         7.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 35,525
  • Country Ranking
    OCaml
         56
    Emacs Lisp
         1,905

Top repositories

1

L2

λ² is a tool for synthesizing functional programs from input-output examples.
OCaml
65
star
2

odoc2docset

Create Dash docsets from Odoc generated documentation.
OCaml
22
star
3

bitarray

Fast vectorized bitarrays for OCaml
OCaml
15
star
4

castor

Deductive synthesis and compilation of specialized databases.
OCaml
12
star
5

earley

An Earley algorithm implementation which uses task parallelism.
C++
8
star
6

combinat

Fast combinatorics functions for OCaml.
OCaml
7
star
7

loopfinder

Extract looping GIFs from longer videos using locality-sensitive hashing.
Python
6
star
8

tpch-dbgen

TPC-H and scripts for PostgreSQL
C
2
star
9

sshpass

C
1
star
10

sketch-mode

Emacs mode for the Sketch synthesizer language
Emacs Lisp
1
star
11

ocaml-cmph

Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)
OCaml
1
star
12

dreamcoder

Python
1
star
13

symetric

OCaml
1
star