Pinned Loading

1. stitch stitch Public

   A scalable abstraction learning library

   Rust 75 8

2. jacobaustin123/Coral jacobaustin123/Coral Public

   The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.

   OCaml 143 6

3. mlb mlb Public

   A custom library for fancy debugging, pretty printing error, pytorch extensions, and more!

   Python 1

4. stitch_bindings stitch_bindings Public

   Bindings for stitch

   Python 6 2

5. lambdas lambdas Public

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

   Rust 4 4

6. synthestitch synthestitch Public

   A Rust program synthesis library

   Rust 4