Log(ic) programming in Ru(st).
☆24Sep 27, 2025Updated 5 months ago
Alternatives and similar repositories for logru
Users that are interested in logru are comparing it to the libraries listed below
Sorting:
- Implementation of a slotmap☆10Nov 24, 2025Updated 3 months ago
- A set of collection data types for rust that are simple wrappers around vectors☆10Jan 14, 2026Updated last month
- Framework for writing tests with randomly generated test data☆14Feb 8, 2026Updated 3 weeks ago
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- A radix tree implementation☆15Sep 22, 2022Updated 3 years ago
- A Rust crate that defines the ToBoundedStatic and IntoBoundedStatic traits☆20Feb 12, 2026Updated 2 weeks ago
- A Boid Flocking Simulation Built with Rust☆14May 17, 2021Updated 4 years ago
- rust slice conversion library☆16Mar 23, 2022Updated 3 years ago
- A stack-allocated box that stores trait objects.☆20Jul 20, 2021Updated 4 years ago
- An embedded-nal implementation for smoltcp☆25Oct 27, 2025Updated 4 months ago
- Overriding Stdio file descriptors in Rust☆18Jan 26, 2025Updated last year
- Feature toggles for Rust, extensible and with background synchronization and administration UI☆27Dec 2, 2025Updated 3 months ago
- A simple, secure IMAP server with encrypted data at rest☆22Dec 31, 2025Updated 2 months ago
- Conversion to/from binary for arbitrary types. With no_std and no_alloc support.☆29Feb 3, 2026Updated last month
- Attribute proc-macro to delegate method to a field☆29Sep 17, 2023Updated 2 years ago
- ☆26Sep 7, 2024Updated last year
- Datalog compiler embedded in Rust as a procedural macro☆502Dec 14, 2025Updated 2 months ago
- A minimal actor model for Rust☆25May 22, 2022Updated 3 years ago
- A Rust library for revision-tolerant serialisation and deserialisation, with support for schema evolution over time☆41Dec 13, 2025Updated 2 months ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- ☆14Updated this week
- The official WHMCS 7.5.3 Release, released by @lmsfao.☆10Apr 8, 2019Updated 6 years ago
- ☆80Jul 11, 2023Updated 2 years ago
- Textual tables with automatic alignment☆39Aug 10, 2023Updated 2 years ago
- Weak hash tables for Rust☆41Oct 23, 2023Updated 2 years ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Advanced extra high speed deep packet inspect library with private AFDL language supported☆11Jul 29, 2018Updated 7 years ago
- Efficient Message Digest for MXF Files☆10Jul 6, 2020Updated 5 years ago
- Get Telemetry Data from YAMCS in OpenMCT☆10Sep 15, 2017Updated 8 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- A collection of resources related to OTT and streaming.☆11Oct 15, 2019Updated 6 years ago
- Sandbank is the easy-to-use database for s&box.☆10Mar 9, 2025Updated 11 months ago
- OntoSeer is a tool to help users build better quality ontologies☆13Sep 8, 2024Updated last year
- Hierarchical sparse bitset☆53Nov 1, 2025Updated 4 months ago
- Yada is a yet another double-array trie library aiming for fast search and compact data representation.☆45Feb 25, 2024Updated 2 years ago
- CLI tool to measure the state of your luck, at the moment☆11Oct 19, 2015Updated 10 years ago
- A widgets library made with/for Slint based on Ant Design.☆23Feb 23, 2026Updated last week