adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆27Updated 10 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☆18Updated last week
- ☆35Updated 10 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆35Updated 3 weeks ago
- An alternative `std`-like implementation built on origin☆31Updated 9 months ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Updated 9 months ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Updated 6 months ago
- Rust crate for writing repetitive code easier and faster.☆45Updated 2 years ago
- SIMD-optimized B+ Tree implementation that uses integer keys☆69Updated 5 months ago
- Human-friendly indexed collections☆56Updated last month
- New register allocator designed as a successor to regalloc2☆54Updated last month
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆47Updated 8 months ago
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated 2 years ago
- Rust compile-time type information experiment☆18Updated 2 years ago
- Macro assembler for Rust☆35Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆61Updated 2 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆25Updated 7 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- A memory efficient syntax tree for language developers☆63Updated 4 months ago
- Rust bindings for libgccjit☆26Updated last week
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆32Updated last week
- Extremely minimal parser for ELF/PE/Mach-o/ar☆41Updated 4 years ago
- Binary size analyzer for Rust programs☆37Updated last year
- Lightweight exceptions for Rust☆89Updated last week
- State machine pattern for Rust☆29Updated last year
- An explicit closure with absolute seperation of the captured data from the function.☆37Updated 4 months ago
- the definitive non-empty slice/array/vec library for Rust☆18Updated 5 months ago
- An evil parsing library.☆54Updated 2 years ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆22Updated 2 years ago
- Experimenting with Rust's fundamental data model☆55Updated 2 months ago