adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆28Updated last year
Alternatives and similar repositories for reckon
Users that are interested in reckon are comparing it to the libraries listed below
Sorting:
- ☆34Updated last year
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆35Updated last week
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- Exhaustive iteration trait in Rust☆21Updated last week
- An alternative `std`-like implementation built on origin☆35Updated 11 months ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Updated 11 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 3 weeks ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated last month
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- Strongly typed vector math with glam☆36Updated 9 months ago
- Human-friendly indexed collections☆56Updated 3 months ago
- Macro assembler for Rust☆36Updated last year
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Updated 2 weeks ago
- Scripting language for Rust.☆109Updated 7 months ago
- Resilient LL(1) parser generator for Rust☆186Updated last month
- A visual-first, statically typed, pluggable, graph-based programming language☆27Updated 4 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated 2 years ago
- A memory efficient syntax tree for language developers☆64Updated last month
- A highly experiment portable runtime☆21Updated last year
- Extremely minimal parser for ELF/PE/Mach-o/ar☆42Updated 4 years ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆47Updated 10 months ago
- An engine for a chess variant which adds banks🏦 and a market📈!☆46Updated last year
- How fast can we recognize a word from a small pre-determined set?☆88Updated last year
- ☆45Updated 10 months ago
- A tool for generating geometric figures based on definitions and rules.☆20Updated last year
- Database-like Asset management on top of ECS storage☆14Updated last week
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.☆15Updated 9 months ago
- A Rust crate for creating and managing system call filters, providing a safe and ergonomic interface for controlling access to system res…☆39Updated 7 months ago
- New register allocator designed as a successor to regalloc2☆56Updated 2 months ago