adam-mcdaniel / reckon
A reasonable theorem prover for your reasoning tasks!
☆26Updated 2 months ago
Alternatives and similar repositories for reckon:
Users that are interested in reckon are comparing it to the libraries listed below
- Macro assembler for Rust☆35Updated last year
- Exhaustive iteration trait in Rust☆14Updated this week
- Binary size analyzer for Rust programs☆36Updated 11 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 8 months ago
- ☆33Updated 2 months ago
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆32Updated 2 months ago
- A plugin system for the Rhai embedded scripting language.☆16Updated last month
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆45Updated this week
- An engine for a chess variant which adds banks🏦 and a market📈!☆46Updated 10 months ago
- Hitori is a generic regular expressions library.☆51Updated last year
- An optimization modeling language with solvers for MILP problems☆48Updated 3 weeks ago
- 🐱concat! with support for const variables and expressions☆41Updated 2 months ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆20Updated last year
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 5 months ago
- Eager evaluation of macros like `concat!` and `env!`☆38Updated 3 weeks ago
- A faster Arc.☆58Updated last year
- Extremely minimal parser for ELF/PE/Mach-o/ar☆40Updated 3 years ago
- Linux linker for x86 and x86-64☆26Updated last month
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Generates random strings and byte strings matching a regex☆31Updated 2 months ago
- 👀 Multi-peek iterator (no-std)☆26Updated 3 months ago
- Zig comptime using Rust proc macros☆42Updated 10 months ago
- Build-time configure scripts for Rust☆58Updated 3 months ago
- An alternative `std`-like implementation built on origin☆27Updated 3 weeks ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆36Updated 3 weeks ago
- RXI's microui ported to rust (not a binding)☆40Updated last year
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆27Updated last week
- A new cross platform general prupose Line editor implementation designed with the goal to be flexible and customizable☆44Updated 5 months ago
- 🎙 An event based library for architecting user output for multiple output destinations, in Rust☆31Updated 3 months ago