mthom / prolog_parser
An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
☆14Updated 4 years ago
Alternatives and similar repositories for prolog_parser:
Users that are interested in prolog_parser are comparing it to the libraries listed below
- Type-Level Programming in Rust☆27Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated this week
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- Datalog + Egg = Good☆66Updated last year
- A simple prolog implementation in Rust☆26Updated 4 years ago
- enforce representation/class invariants in your Rust data structures☆12Updated 2 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 3 weeks ago
- A linear solver designed to be easy to use with Rust enums.☆32Updated 3 years ago
- An Earley parser engine in Rust.☆33Updated 3 months ago
- Propositional logic with types in Rust☆62Updated last year
- A Rust port of Jane Street's Incremental library.☆22Updated 2 months ago
- Macros have types!☆129Updated 2 years ago
- Integer interval arithmetic library☆17Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- ☆33Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A Lojban parser in Piston-Meta☆24Updated 3 years ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆19Updated 4 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- ☆17Updated 4 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Compiler for the Lavish IDL☆18Updated 5 years ago
- Derive macro for generating arrays from struct fields.☆20Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆15Updated 11 months ago
- A golden file testing library for rust☆33Updated last month
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago