Logics is a user-friendly formula language with a subset of Python's expression syntax
Propositional logic with exponentials
A small framework to separate logics and data accesses for Rust application.
The sabi data access library for Redis in Rust
A crate dedicated to proposition building logic, providing mathematical lexers and language properties for defining logical languages
Translate canonical (symlink-resolved) filesystem paths back to their logical (symlink-preserving) equivalents
A library to manipulate balanced ternary values.
Compiler for transforming logic expressions into tensor computation graphs
Fuzzy logic inference engine library in Rust
A Rust implementation of Hybrid Logical Clocks for distributed systems
This is a simple logical expression parser written in Rust using pest library
Propositional logic with types in Rust
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.