cognitive-engineering-lab / depotLinks
A JS devtool orchestrator
☆54Updated last week
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 3 months ago
- ☆174Updated 4 months ago
- Datalog with equality for rust☆73Updated 3 weeks ago
- An interactive Datalog☆64Updated last week
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 7 months ago
- the WebAssembly partial evaluator☆112Updated 4 months ago
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆53Updated 4 months ago
- Zero heap allocation HTTP server using OxCaml. v experimental!☆60Updated this week
- ☆58Updated 6 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- A little KV store implementation in OCaml to practice DB systems things☆27Updated this week
- Rust implementation of µKanren, a featherweight relational programming language.☆116Updated 3 years ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- A content-addressable datastore for WebAssembly modules☆59Updated last year
- experimental auto-currying for rust functions☆32Updated 5 years ago
- world's worst interpreter☆66Updated 8 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆63Updated 3 weeks ago
- My personal standard for how to set up a Javascript workspace☆15Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 6 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆230Updated last year
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- An experiment in an augmented error handling type for Rust☆40Updated 4 months ago
- an interactive programming language☆51Updated this week
- Simple live calculator in tree-sitter + cranelift jit☆75Updated last year
- A highly experiment portable runtime☆21Updated last year
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆274Updated last week
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 9 months ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆43Updated last month
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 10 months ago