terminusdb-labs / swipl-rs
☆25Updated 7 months ago
Related projects: ⓘ
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Session Type EDSL for Rust☆97Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆44Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆137Updated 11 months ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆81Updated 4 years ago
- Macros have types!☆131Updated last year
- 🎶 Choreographic programming in Rust 🎶☆37Updated last week
- A fast in-memory rule engine.☆62Updated this week
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 4 months ago
- A Hindley-Milner polymorphic typing system☆49Updated 9 months ago
- Constraint programming in Rust☆98Updated 9 months ago
- An Earley parser engine in Rust.☆32Updated 2 months ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Library for manipulating context-free grammars in Rust.☆18Updated last month
- Datalog with equality for rust☆49Updated 5 months ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆88Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Logic programming, for Rust, from inside Rust.☆39Updated 4 years ago
- Datalog + Egg = Good☆65Updated last year
- Cross-compiler from Haskell to Rust, plus parser-haskell.☆73Updated 7 years ago
- Generate bindings for Futhark☆37Updated last year
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆73Updated this week
- A toy incremental computation framework☆15Updated 3 years ago
- Log(ic) programming in Ru(st).☆14Updated 5 months ago
- Session types for asynchronous communication between multiple parties.☆37Updated 2 months ago
- Propositional logic with types in Rust☆60Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 5 years ago
- Functional lens library for Rust☆103Updated 3 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- ☆90Updated 11 months ago