terohuttunen / proto-vulcan
A relational logic programming language embedded in Rust.
☆12Updated 2 years ago
Related projects: ⓘ
- A toy incremental computation framework☆15Updated 3 years ago
- Lift enum variants to the type-level.☆30Updated 3 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated last year
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- ☆31Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 4 months ago
- ☆28Updated this week
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- A golden file testing library for rust☆32Updated last year
- A Minsky Machine in Rust's type system☆41Updated 4 years ago
- Exploring the "expression problem" in Rust☆46Updated last year
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆12Updated 3 years ago
- Derive macro for generating arrays from struct fields.☆20Updated last year
- depict – share mental models better☆33Updated last year
- TreeFlat is the simplest way to build & traverse a pre-order Tree in Rust☆25Updated last year
- A different approach to an E-graph library☆11Updated last month
- Convenient drawing of objects such as shapes, lines and text to buffers☆17Updated 3 years ago
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)☆14Updated 2 years ago
- Minimal UI library based on relm (GTK+), written in Rust.☆40Updated 2 years ago
- exhaustive testing library☆57Updated last month
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆25Updated last year
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- ☆27Updated last year
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆28Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆30Updated 5 months ago
- Vale's generational reference allocator as a Rust library☆14Updated last year
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆16Updated 3 years ago