terohuttunen / proto-vulcan
A relational logic programming language embedded in Rust.
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for proto-vulcan
- ☆11Updated this week
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- ☆14Updated this week
- Type-Level Programming in Rust☆26Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Minimal UI library based on relm (GTK+), written in Rust.☆40Updated 2 years ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- A toy incremental computation framework☆15Updated 3 years ago
- ☆32Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- Generate a filesystem tree from a macro or a YAML tree☆23Updated 2 months ago
- ☆16Updated this week
- Shard is an Archetype-based Entity Component System implemented in Rust.☆12Updated last year
- Runtime with fast GC and easy concurrency.☆42Updated 3 years ago
- A different approach to an E-graph library☆22Updated last month
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- Asynchronize blocking operation.☆26Updated 2 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Ninja is a small build system with a focus on speed. Rust language port.☆16Updated 7 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆25Updated last year
- A library for immutable lossless syntax trees in Rust☆28Updated last year
- A Rust library for runtime-checked linearish types☆31Updated last year
- A golden file testing library for rust☆32Updated last week
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 6 months ago
- Add a REPL to your application with a few macros☆16Updated last year
- <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐☆13Updated 4 years ago
- hot-reload template for Rust☆20Updated 2 years ago