cognitive-engineering-lab / depotLinks
A JS devtool orchestrator
☆47Updated 5 months ago
Alternatives and similar repositories for depot
Users that are interested in depot are comparing it to the libraries listed below
Sorting:
- Minimal Prolog implemented in Rust☆44Updated 11 months ago
- Datalog with equality for rust☆68Updated this week
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆37Updated last month
- ☆173Updated this week
- hindley-milner algorithm☆62Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 2 months ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- A menagerie of cute implementations of modern typechecking algorithms☆270Updated last week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆111Updated last week
- 👌 A smol functional language that targets other languages☆63Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆44Updated last year
- ☆58Updated last month
- the WebAssembly partial evaluator☆97Updated this week
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated 2 weeks ago
- Pure functional programming with whole-program mutability inference☆74Updated last month
- Tagref helps you manage cross-references in your code.☆208Updated last month
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆221Updated 10 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- My personal standard for how to set up a Javascript workspace☆14Updated 2 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- A content-addressable datastore for WebAssembly modules☆55Updated 11 months ago
- A playground for thinking about what Rust could be like☆23Updated last year
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆48Updated last week
- Finally, a shell for all seasons!☆119Updated 8 months ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 9 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 5 months ago
- world's worst interpreter☆62Updated 4 months ago
- Interface with the rustc compiler for the purpose of program verification☆186Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago