adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆26Updated 4 months ago
Alternatives and similar repositories for reckon
Users that are interested in reckon are comparing it to the libraries listed below
Sorting:
- Exhaustive iteration trait in Rust☆16Updated last week
- Macro assembler for Rust☆36Updated last year
- ☆35Updated 4 months ago
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆32Updated 3 weeks ago
- Database-like Asset management on top of ECS storage☆12Updated last month
- Support for compiling C programs with Eyra☆13Updated 7 months ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆36Updated 3 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 7 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 10 months ago
- An alternative `std`-like implementation built on origin☆31Updated 3 months ago
- Cross-platform, endian-aware primitives for Rust☆41Updated last month
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated last week
- An engine for a chess variant which adds banks🏦 and a market📈!☆45Updated last year
- A safe, fast, lightweight embeddable scripting language written in Rust.☆20Updated 2 years ago
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated 2 years ago
- Generates random strings and byte strings matching a regex☆34Updated 3 weeks ago
- 👀 Multi-peek iterator (no-std)☆27Updated 5 months ago
- RXI's microui ported to rust (not a binding)☆40Updated last year
- A highly experiment portable runtime☆19Updated last year
- A regex crate using Brzozowski derivatives.☆26Updated last month
- We have Crater At Home☆34Updated 7 months ago
- Rust library for scheduling, managing resources, and running DAGs 🌙☆31Updated 4 months ago
- Rust bindings for libgccjit☆23Updated last month
- A Rust crate for creating and managing system call filters, providing a safe and ergonomic interface for controlling access to system res…☆29Updated 3 weeks ago
- Binary size analyzer for Rust programs☆36Updated last year
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- Rust compile-time type information experiment☆18Updated 2 years ago
- A Rustified OpenCL Experience☆46Updated 2 years ago
- Linux linker for x86 and x86-64☆31Updated this week