adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆26Updated 5 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 month
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆32Updated last week
- Macro assembler for Rust☆36Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- An engine for a chess variant which adds banks🏦 and a market📈!☆45Updated last year
- ☆35Updated 5 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 11 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- A safe, fast, lightweight embeddable scripting language written in Rust.☆20Updated 2 years ago
- An alternative `std`-like implementation built on origin☆31Updated 3 months ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated last month
- A highly experiment portable runtime☆19Updated last year
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆37Updated 3 months ago
- Cross-platform, endian-aware primitives for Rust☆41Updated last month
- State machine pattern for Rust☆29Updated 7 months ago
- An evil parsing library.☆54Updated last year
- A standalone code editor with syntax highlighting and themes.☆15Updated 2 years ago
- LR-style Parser Generator☆19Updated 3 weeks ago
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- Database-like Asset management on top of ECS storage☆12Updated this week
- memory functions like a libc memcmp(), memchr(), memmem(), memcpy(), memset()☆18Updated 4 months ago
- Zig comptime using Rust proc macros☆50Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- the definitive non-empty slice/array/vec library for Rust☆16Updated last year
- ☆16Updated 11 months ago
- A regex crate using Brzozowski derivatives.☆26Updated 2 months ago
- Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.☆15Updated 2 months ago
- Rust bindings for libgccjit☆23Updated last month
- Linux linker for x86 and x86-64☆32Updated 3 weeks ago
- A new cross platform general prupose Line editor implementation designed with the goal to be flexible and customizable☆44Updated 7 months ago