jfeser/symetric jfeser/symetric

  • Stars
    star
    1
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jfeser/symetric
github

jfeser

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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