Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.
☆25Sep 27, 2025Updated 11 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 6 years ago
- Framework for writing tests with randomly generated test data☆14Feb 8, 2026Updated 6 months ago
- A Rust crate that defines the ToBoundedStatic and IntoBoundedStatic traits☆20Aug 16, 2026Updated 2 weeks ago
- A Boid Flocking Simulation Built with Rust☆13May 17, 2021Updated 5 years ago
- A simple, secure IMAP server with encrypted data at rest☆22Dec 31, 2025Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- rust slice conversion library☆17Mar 23, 2022Updated 4 years ago
- A set of collection data types for rust that are simple wrappers around vectors☆11Jan 14, 2026Updated 7 months ago
- Translate any RDF format to any other using Ruby RDF gems☆21Dec 20, 2025Updated 8 months ago
- Source Code Transparency☆11Sep 25, 2023Updated 2 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- 🗝️ Rust bindings to the clingo library☆40Jan 27, 2025Updated last year
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆17Updated this week
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A social media RSS: peer-to-peer, offline ActivityPub client for reading and following microblogs on the Fediverse.☆20Dec 5, 2024Updated last year
- Overriding Stdio file descriptors in Rust☆19Jan 26, 2025Updated last year
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆15Aug 27, 2022Updated 4 years ago
- Convert RDF Turtle to N-Triples or N3P☆14Jan 14, 2019Updated 7 years ago
- TaPL implementation bits in Idris2☆16Feb 27, 2022Updated 4 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
- ☆81Jul 11, 2023Updated 3 years ago
- 2D polygon library for games. Provides path-finding and lighting.☆13Dec 20, 2016Updated 9 years ago
- ☆16Oct 28, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- Feature-rich MQ server, written in Rust☆14Jan 15, 2021Updated 5 years ago
- The Elm architecture ported to Idris Programming language☆14Feb 27, 2019Updated 7 years ago
- ☆21Jun 8, 2026Updated 2 months ago
- ☆21Aug 24, 2026Updated last week
- ☆12Aug 18, 2021Updated 5 years ago
- Datalog compiler embedded in Rust as a procedural macro☆530Dec 14, 2025Updated 8 months ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- The swiss knife of Denon's Engine PRIME☆13Apr 30, 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.
- A rust library for a Type Safe IMAP protocol☆13Jun 28, 2016Updated 10 years ago
- ☆10Dec 10, 2021Updated 4 years ago
- Terminal Crypto and US Stock Viewer☆10Apr 8, 2021Updated 5 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Command line tool to kickstart installing packages after a fresh install. Support Linux distros / OSX☆11Feb 5, 2023Updated 3 years ago
- A Streamlit/Gradio equivalent for pure Rust. Build live browser UIs in seconds with no HTML, CSS, or JS required.☆20Jun 2, 2026Updated 2 months ago