Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.
☆26Sep 27, 2025Updated last year
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 6 years ago
- Framework for writing tests with randomly generated test data☆14Feb 8, 2026Updated 8 months ago
- A Rust crate that defines the ToBoundedStatic and IntoBoundedStatic traits☆22Sep 26, 2026Updated last month
- A Boid Flocking Simulation Built with Rust☆13May 17, 2021Updated 5 years ago
- Generic library for structured commands with explicit parallelism☆11Nov 16, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆22Apr 24, 2026Updated 6 months ago
- A simple, secure IMAP server with encrypted data at rest☆22Dec 31, 2025Updated 10 months ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated last year
- rust slice conversion library☆17Mar 23, 2022Updated 4 years ago
- Scala library for nice business logic oriented, for-comprehension-style error handling☆29Sep 5, 2026Updated last month
- A set of collection data types for rust that are simple wrappers around vectors☆11Jan 14, 2026Updated 9 months ago
- ☆15Oct 13, 2026Updated 2 weeks ago
- This might one day be a thesis project☆11Dec 21, 2022Updated 3 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 8 months ago
- composable validation functions for custom types☆14Jun 11, 2025Updated last year
- A rule-based intelligent software agent☆14Apr 10, 2024Updated 2 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 8 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- Translate any RDF format to any other using Ruby RDF gems☆21Dec 20, 2025Updated 10 months ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 12 years ago
- Convert RDF Turtle to N-Triples or N3P☆14Jan 14, 2019Updated 7 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Japanese telephony speaking clock for Asterisk (or any applications supporing G.711 mu-law).☆12Mar 6, 2024Updated 2 years ago
- ☆80Sep 27, 2026Updated last month
- NixOS and Home Manager modules for the Chuwi Minibook X☆13Feb 20, 2026Updated 8 months ago
- A Notation3 Editor in JavaScript☆16Aug 6, 2025Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Feb 19, 2023Updated 3 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 6 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…☆12Oct 28, 2024Updated 2 years ago
- ☆21Jun 8, 2026Updated 4 months ago
- ☆39Mar 20, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SegVec data structure for rust. Similar to Vec, but allocates memory in chunks of increasing size.☆39Dec 23, 2023Updated 2 years ago
- A social media RSS: peer-to-peer, offline ActivityPub client for reading and following microblogs on the Fediverse.☆19Dec 5, 2024Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 5 years ago
- Tool for cleaning away old Haskell Stack build artifacts☆39Dec 29, 2025Updated 10 months ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- Linear mutable References and Utilities☆13Sep 18, 2026Updated last month
- Datalog compiler embedded in Rust as a procedural macro☆536Dec 14, 2025Updated 10 months ago