terohuttunen / proto-vulcanLinks
A relational logic programming language embedded in Rust.
☆12Updated last month
Alternatives and similar repositories for proto-vulcan
Users that are interested in proto-vulcan are comparing it to the libraries listed below
Sorting:
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 4 years ago
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆21Updated 3 weeks ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- Extension to `thiserror` that helps reduce the amount of handwriting☆14Updated 2 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- Make it possible to chain regular functions☆50Updated 10 months ago
- A stream processor language.☆14Updated last year
- Statically typed Entity-Component storage☆19Updated 2 months ago
- TreeFlat is the simplest way to build & traverse a pre-order Tree in Rust☆29Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- depict – share mental models better☆38Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 6 months ago
- exhaustive testing library☆65Updated last year
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆49Updated last month
- A golden file testing library for rust☆35Updated 2 weeks ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A HDPSG-inspired symbolic natural language parser written in Rust☆57Updated 6 months ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Run commands concurrently with rust and cargo☆10Updated 2 years ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- Zig comptime using Rust proc macros☆50Updated last year
- GraphML output generator for petgraph☆20Updated 3 weeks ago
- Add a REPL to your application with a few macros☆17Updated last month
- ☆24Updated 4 months ago
- A flat container abstraction for Rust☆14Updated 2 weeks ago
- A special rope, designed to work with any data type that is not String☆34Updated last year
- Compact sets in rust☆56Updated 6 months ago
- A Rust port of Jane Street's Incremental library.☆27Updated 8 months ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 5 months ago