mlb2251
MIT EECS PhD Student | Program Synthesis | Machine Learning | Artificial Intelligence
Cambridge, MA
Pinned Repositories
Coral
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
compression_benchmark
dreamcoder
egue
rust synthesizer
espresso
The Espresso Programming Language: A Bash-Python hybrid shell
lambdas
A library for defining domain specific languages in a polymorphic lambda calculus
mlb
A custom library for fancy debugging, pretty printing error, pytorch extensions, and more!
stitch
A scalable abstraction learning library
stitch_bindings
Bindings for stitch
synthestitch
A Rust program synthesis library
mlb2251's Repositories
mlb2251/stitch
A scalable abstraction learning library
mlb2251/dreamcoder
mlb2251/stitch_bindings
Bindings for stitch
mlb2251/lambdas
A library for defining domain specific languages in a polymorphic lambda calculus
mlb2251/synthestitch
A Rust program synthesis library
mlb2251/compression_benchmark
mlb2251/egue
rust synthesizer
mlb2251/atari-benchmarks
mlb2251/mlb
A custom library for fancy debugging, pretty printing error, pytorch extensions, and more!
mlb2251/probplay
mlb2251/stitch-artifact
mlb2251/tuple_parallel
mlb2251/ARCSolver.jl
mlb2251/denumpify
mlb2251/example-sphinx-basic
A basic Sphinx project for Read the Docs
mlb2251/flashfill
mlb2251/Gen.jl
A general-purpose probabilistic programming system with programmable inference
mlb2251/geom
mlb2251/job
Custom job manager
mlb2251/laps_dreamcoder
Library implementation of DreamCoder as adapted for LAPS.
mlb2251/mlb2251.github.io
mlb2251/my_vim
My neovim/vim8 configuration
mlb2251/Olympus
New Everest installer / manager, powered by Löve2D.
mlb2251/ProbStitch.jl
mlb2251/pytorch-template
PyTorch deep learning projects made easy.
mlb2251/sampling
mlb2251/skeleton-project
A basic skeleton for an ML project
mlb2251/slides.js
mlb2251/Stitch.jl
mlb2251/stitch_dreamcoder