cognitive-engineering-lab / depot
A JS devtool orchestrator
☆37Updated this week
Related projects ⓘ
Alternatives and complementary repositories for depot
- Minimal Prolog implemented in Rust☆42Updated last month
- ☆32Updated 3 months ago
- A playground for thinking about what Rust could be like☆23Updated 2 months ago
- hindley-milner algorithm☆53Updated last year
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆44Updated last month
- Atomic `dbg`/`eprintln`/`eprint` macros☆17Updated 9 months ago
- Datalog with equality for rust☆55Updated 3 weeks ago
- experimental auto-currying for rust functions☆32Updated 4 years ago
- A toy incremental computation framework☆15Updated 3 years ago
- ☆36Updated last year
- A set of tools for working with datafrog☆22Updated 4 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated last year
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆29Updated 8 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆37Updated 3 months ago
- ☆20Updated 2 years ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆16Updated this week
- A highly experiment portable runtime☆19Updated 7 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- c'est le marché☆38Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆29Updated 2 months ago
- A library for immutable lossless syntax trees in Rust☆28Updated last year
- Session Type EDSL for Rust☆101Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆33Updated this week
- Propositional logic with types in Rust☆60Updated last year
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Traversal of tree-sitter Trees and any arbitrary tree with a TreeCursor-like interface☆21Updated 5 months ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year