mlb2251/lambdas mlb2251/lambdas

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Rust
  • License
    MIT License
  • Created about 2 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mlb2251/lambdas
github

mlb2251

Reviews

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

Repository Details

A library for defining domain specific languages in a polymorphic lambda calculus

More Repositories

1

stitch

A scalable abstraction learning library
Rust
72
star
2

stitch_bindings

Bindings for stitch
Python
6
star
3

synthestitch

A Rust program synthesis library
Rust
4
star
4

espresso

The Espresso Programming Language: A Bash-Python hybrid shell
Python
3
star
5

egue

rust synthesizer
Rust
2
star
6

Magnesium

An ML project manager and framework
Python
1
star
7

compression_benchmark

Python
1
star
8

probplay

Julia
1
star
9

parser

A flexible and extensible parser and compiler for custom programming languages and extensions to Python
Python
1
star
10

mlb

A custom library for fancy debugging, pretty printing error, pytorch extensions, and more!
Python
1
star
11

stitch-artifact

1
star
12

tuple_parallel

Python
1
star
13

atari-benchmarks

1
star