Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.
☆24Sep 27, 2025Updated 6 months ago
Alternatives and similar repositories for logru
Users that are interested in logru are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Template haskell project to bootstrap a haskell project☆11Jul 12, 2020Updated 5 years ago
- Framework for writing tests with randomly generated test data☆14Feb 8, 2026Updated 2 months ago
- A Boid Flocking Simulation Built with Rust☆13May 17, 2021Updated 4 years ago
- Scala library for nice business logic oriented, for-comprehension-style error handling☆23Mar 27, 2026Updated 2 weeks ago
- rust slice conversion library☆16Mar 23, 2022Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 6 years ago
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- Source Code Transparency☆11Sep 25, 2023Updated 2 years ago
- Implementation of a slotmap☆10Nov 24, 2025Updated 4 months ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Feb 25, 2026Updated last month
- Translate any RDF format to any other using Ruby RDF gems☆21Dec 20, 2025Updated 3 months ago
- Conversion to/from binary for arbitrary types. With no_std and no_alloc support.☆29Apr 1, 2026Updated last week
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 7 years ago
- Overriding Stdio file descriptors in Rust☆18Jan 26, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tools for working with functions in rust☆10Oct 11, 2020Updated 5 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆15Aug 27, 2022Updated 3 years ago
- NixOS and Home Manager modules for the Chuwi Minibook X☆15Feb 20, 2026Updated last month
- A radix tree implementation☆15Sep 22, 2022Updated 3 years ago
- Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…☆11Oct 28, 2024Updated last year
- Python reference implementation☆11Jan 19, 2016Updated 10 years ago
- ☆81Jul 11, 2023Updated 2 years ago
- XeLaTeX で和文する実験☆14Nov 6, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- Experimenting with a gpu physics engine from scratch☆29Oct 29, 2025Updated 5 months ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆11Feb 19, 2023Updated 3 years ago
- A stack-allocated box that stores trait objects.☆21Jul 20, 2021Updated 4 years ago
- ☆16Oct 28, 2024Updated last year
- Webcam virtual backgrounds with Rust, Tensorflow & RobustVideoMatting☆11Sep 26, 2023Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆512Dec 14, 2025Updated 3 months ago
- 2D polygon library for games. Provides path-finding and lighting.☆13Dec 20, 2016Updated 9 years ago
- A simple `no_std` heap allocator for RISC-V and Xtensa processors from Espressif☆24Apr 16, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An LSP and CLI for RON files that provides autocomplete, diagnostics, go to definition, code actions, and hover support based on Rust typ…☆53Feb 28, 2026Updated last month
- ☆13Jul 21, 2015Updated 10 years ago
- Threejs browser server for IPFS assets☆19Jun 21, 2016Updated 9 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- Attribute proc-macro to delegate method to a field☆29Sep 17, 2023Updated 2 years ago
- Feature toggles for Rust, extensible and with background synchronization and administration UI☆27Dec 2, 2025Updated 4 months ago
- Python implementation of the multihash specification☆20Aug 29, 2023Updated 2 years ago