Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
☆82Aug 28, 2020Updated 5 years ago
Alternatives and similar repositories for rust-prolog
Users that are interested in rust-prolog are comparing it to the libraries listed below
Sorting:
- rustupolis - Tuple Space for Rust.☆11Updated this week
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- a type level lisp interpreter on Rust's type system☆10Nov 11, 2016Updated 9 years ago
- Rust UML parser library☆20Jun 24, 2021Updated 4 years ago
- Library for backtracking with customizable search for moves☆23Dec 16, 2025Updated 2 months ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- A Scheme embedded in Rust, like Lua in C.☆62Sep 25, 2018Updated 7 years ago
- Various pathfinding algorithms implemented in rust. Currently very WIP.☆16Sep 4, 2020Updated 5 years ago
- Oblivious state machine☆17Jan 12, 2024Updated 2 years ago
- Code Samples for Wasmer Plugin Series☆18May 2, 2019Updated 6 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,983Feb 8, 2026Updated 2 weeks ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Sep 28, 2021Updated 4 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Jan 25, 2015Updated 11 years ago
- ☆18Jan 19, 2022Updated 4 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆25Dec 8, 2017Updated 8 years ago
- A modern Prolog implementation written mostly in Rust.☆2,373Jan 15, 2026Updated last month
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- A set of visualization engines.☆14Updated this week
- A qp-trie implementation in Rust☆44Dec 31, 2024Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆172Apr 21, 2024Updated last year
- A DSL parsing library for human readable text documents☆91Apr 12, 2021Updated 4 years ago
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated last month
- Code from the getting started guide☆10Aug 31, 2016Updated 9 years ago
- Natural language construction grammar parser☆10Jul 10, 2015Updated 10 years ago
- Type definitions for the SWF file format (Rust and Typescript)☆12May 10, 2022Updated 3 years ago
- A Rust implementation of distributed replicated log based on the Raft algorithm☆49Oct 12, 2021Updated 4 years ago
- Golang user signal based package for collecting pprof information☆12Apr 1, 2016Updated 9 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- ☆10Aug 13, 2019Updated 6 years ago
- Karras et al. (2022) diffusion models for PyTorch☆12Aug 23, 2022Updated 3 years ago
- ☆12Aug 14, 2025Updated 6 months ago
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 6 years ago
- rust verification condition generator☆96Aug 31, 2016Updated 9 years ago
- Testing LLVM's profile guided optimization with Rust☆45Oct 24, 2018Updated 7 years ago
- A Clojure library for writing self-optimizing interpreters☆29Jun 2, 2020Updated 5 years ago