donald-pinckney / WasmContinuations
☆19Updated 4 years ago
Alternatives and similar repositories for WasmContinuations:
Users that are interested in WasmContinuations are comparing it to the libraries listed below
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- Datalog with equality for rust☆68Updated 4 months ago
- ☆68Updated 2 years ago
- ☆37Updated 3 years ago
- OCaml bindings for Binaryen.☆49Updated this week
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- The Yatima Standard Library☆20Updated last year
- Type-Level Programming in Rust☆27Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- Standard library for the Formality language☆18Updated 4 years ago
- Haskell bindings to binaryen.☆13Updated 3 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated last month
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Macros have types!☆129Updated 2 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- Build UI declaratively with Datalog.☆131Updated 2 years ago
- Another attempt to realize my programming language☆23Updated 3 weeks ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- The Kraken Programming Language☆46Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆21Updated this week
- A set of tools for working with datafrog☆22Updated 5 years ago
- Charity Programming Language☆39Updated 9 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 4 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- A general purpose relational language☆20Updated 5 years ago
- ☆34Updated 10 months ago