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:
- ☆35Updated 5 months ago
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆32Updated last month
- Exhaustive iteration trait in Rust☆16Updated 2 weeks ago
- An engine for a chess variant which adds banks🏦 and a market📈!☆45Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Binary size analyzer for Rust programs☆36Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated last month
- Linux linker for x86 and x86-64☆32Updated last month
- Ansic is a modern, efficient and compile time ansi macro and utilities.☆52Updated last week
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 3 months ago
- RXI's microui ported to rust (not a binding)☆44Updated last year
- 👀 Multi-peek iterator (no-std)☆27Updated 7 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆110Updated last year
- Macro assembler for Rust☆36Updated last year
- Assembler toolkit: encoding and decoding of various architectures☆34Updated 7 months ago
- An evil parsing library.☆54Updated last year
- Rust bindings for libgccjit☆23Updated 2 months ago
- An alternative `std`-like implementation built on origin☆31Updated 4 months ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆37Updated 4 months ago
- Lightweight exceptions for Rust☆75Updated this week
- A Rust crate for creating and managing system call filters, providing a safe and ergonomic interface for controlling access to system res…☆37Updated 2 weeks ago
- A primitive for writing structural search and replace programs for rust☆31Updated last week
- Program analysis playground for a simple, imperative language☆36Updated 3 years ago
- State machine pattern for Rust☆29Updated 8 months ago
- An IDE extension for debugging trait errors in Rust.☆186Updated 2 months ago
- Hitori is a generic regular expressions library.☆54Updated 2 years ago
- A memory efficient syntax tree for language developers☆62Updated last month
- How fast can we recognize a word from a small pre-determined set?☆80Updated 5 months ago
- Strongly typed vector math with glam☆28Updated 2 months ago