adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆26Updated 8 months ago
Alternatives and similar repositories for reckon
Users that are interested in reckon are comparing it to the libraries listed below
Sorting:
- ☆35Updated 8 months ago
- Exhaustive iteration trait in Rust☆16Updated last week
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 11 months ago
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆33Updated 2 weeks ago
- A primitive for writing structural search and replace programs for rust☆32Updated 3 weeks ago
- Rust bindings for libgccjit☆23Updated 2 months ago
- An alternative `std`-like implementation built on origin☆31Updated 7 months ago
- Macro assembler for Rust☆35Updated last year
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated 4 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 6 months ago
- Human-friendly indexed collections☆55Updated last week
- Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.☆15Updated 5 months ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆37Updated 7 months ago
- LR-style Parser Generator☆19Updated 4 months ago
- Extremely minimal parser for ELF/PE/Mach-o/ar☆41Updated 4 years ago
- A Rust crate for creating and managing system call filters, providing a safe and ergonomic interface for controlling access to system res…☆40Updated 3 months ago
- Experimenting with Rust's fundamental data model☆54Updated this week
- the definitive non-empty slice/array/vec library for Rust☆18Updated 3 months ago
- Binary size analyzer for Rust programs☆36Updated last year
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- Zig comptime using Rust proc macros☆50Updated last year
- Linux linker for x86 and x86-64☆32Updated 4 months ago
- State machine pattern for Rust☆29Updated 11 months ago
- Cross-platform, endian-aware primitives for Rust☆41Updated last week
- A safe, fast, lightweight embeddable scripting language written in Rust.☆21Updated 2 years ago
- Rust library for scheduling, managing resources, and running DAGs 🌙☆34Updated 8 months ago
- Hitori is a generic regular expressions library.☆54Updated 2 years ago
- A faster Arc.☆75Updated last year
- Ansic is a modern, efficient and compile time ansi macro and utilities.☆55Updated 3 months ago