adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆26Updated 7 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 3 weeks ago
- ☆35Updated 7 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- 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.☆32Updated last week
- An engine for a chess variant which adds banks🏦 and a market📈!☆45Updated last year
- A visual-first, statically typed, pluggable, graph-based programming language☆28Updated last week
- An alternative `std`-like implementation built on origin☆31Updated 6 months ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆32Updated last month
- Macro assembler for Rust☆35Updated last year
- A primitive for writing structural search and replace programs for rust☆32Updated 2 months ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆21Updated 2 years ago
- Human-friendly indexed collections☆54Updated this week
- Binary size analyzer for Rust programs☆36Updated last year
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆37Updated 6 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆44Updated last year
- PEG trace visualizer☆89Updated 7 months ago
- An experiment in an augmented error handling type for Rust☆40Updated last week
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated last year
- A dynamic binary tracing tool☆67Updated 3 years ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated 3 months ago
- Hitori is a generic regular expressions library.☆54Updated 2 years ago
- Rust bindings for libgccjit☆23Updated last month
- Experimenting with Rust's fundamental data model☆54Updated 2 months ago
- Cross-platform, endian-aware primitives for Rust☆41Updated 4 months ago
- A memory efficient syntax tree for language developers☆62Updated last month
- A self-generating WebAssembly parser & serializer in Rust.☆20Updated 4 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A tool for generating geometric figures based on definitions and rules.☆20Updated 9 months ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 5 months ago