cognitive-engineering-lab / depotLinks
A JS devtool orchestrator
☆52Updated last month
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☆46Updated 2 months ago
- Datalog with equality for rust☆72Updated this week
- hindley-milner algorithm☆62Updated 2 years ago
- ☆174Updated 3 months ago
- An interactive Datalog☆57Updated last week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated last year
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆53Updated 3 months ago
- Finally, a shell for all seasons!☆124Updated 11 months ago
- the WebAssembly partial evaluator☆110Updated 3 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 6 months ago
- A playground for thinking about what Rust could be like☆23Updated last year
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- Library for building stateful property tests using the proptest crate☆26Updated 2 months ago
- ☆58Updated 5 months ago
- experimental auto-currying for rust functions☆32Updated 5 years ago
- A content-addressable datastore for WebAssembly modules☆58Updated last year
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆30Updated 3 years ago
- Interactive dot graphs☆121Updated last month
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- A highly experiment portable runtime☆21Updated last year
- A golden file testing library for rust☆38Updated 2 months ago
- Concrete Syntax Tree library☆109Updated 2 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- FingerTree implemented in rust☆27Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 9 months ago
- A library for deadlock-free session-typed communication in Rust.☆48Updated 4 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- depict – share mental models better☆39Updated 2 years ago
- Haskell parser for the djot light markup language☆27Updated 2 weeks ago