Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by jfeser
A curated list of projects in awesome lists by jfeser .
https://github.com/jfeser/l2
λ² is a tool for synthesizing functional programs from input-output examples.
Last synced: 16 Nov 2024
https://github.com/jfeser/odoc2docset
Create Dash docsets from Odoc generated documentation.
Last synced: 16 Nov 2024
https://github.com/jfeser/castor
Deductive synthesis and compilation of specialized databases.
compiler database deductive-reasoning program-synthesis
Last synced: 16 Nov 2024
https://github.com/jfeser/earley
An Earley algorithm implementation which uses task parallelism.
earley-algorithm earley-parser parallel parsing
Last synced: 16 Nov 2024
https://github.com/jfeser/loopfinder
Extract looping GIFs from longer videos using locality-sensitive hashing.
gif gif-maker locality-sensitive-hashing
Last synced: 16 Nov 2024
https://github.com/jfeser/ocaml-cmph
Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)
hashing mphf ocaml perfect-hash
Last synced: 16 Nov 2024
https://github.com/jfeser/sketch-mode
Emacs mode for the Sketch synthesizer language
Last synced: 16 Nov 2024
https://github.com/jfeser/parallel
Run commands in parallel with time and memory limits, using cgroups
Last synced: 16 Nov 2024
https://github.com/jfeser/ksensejs
KSenseJS lets web pages use the Kinect's skeleton tracking through JavaScript.
Last synced: 16 Nov 2024
https://github.com/jfeser/timeout
A tool for running programs with time & memory limits.
Last synced: 16 Nov 2024
https://github.com/jfeser/kinectaudiotracker
Track who's talking in a room.
Last synced: 16 Nov 2024
https://github.com/jfeser/imputedb
A database with automatic imputation of missing values.
Last synced: 16 Nov 2024