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
- Exhaustive iteration trait in Rust☆19Updated last month
- 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 2 months ago
- Rust bindings for libgccjit☆30Updated last month
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Updated this week
- Macro assembler for Rust☆35Updated last year
- Ansic is a modern, efficient and compile time ansi macro and utilities.☆57Updated 6 months ago
- An alternative `std`-like implementation built on origin☆32Updated 10 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- Binary size analyzer for Rust programs☆37Updated last year
- a selection of pretty felonious things in rust☆23Updated last year
- Program analysis playground for a simple, imperative language☆38Updated 3 years ago
- Safely transmute type to itself in generic context in Rust☆15Updated 3 years ago
- Linux linker for x86 and x86-64☆31Updated 7 months ago
- A visual-first, statically typed, pluggable, graph-based programming language☆27Updated 4 months ago
- the definitive non-empty slice/array/vec library for Rust☆18Updated 7 months ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆22Updated 2 years ago
- An evil parsing library.☆54Updated 2 years ago
- Support for compiling C programs with Eyra☆15Updated last year
- Hitori is a generic regular expressions library.☆54Updated 2 years ago
- Rust crate for writing repetitive code easier and faster.☆45Updated 3 years ago
- RXI's microui ported to rust (not a binding)☆46Updated 2 years ago
- A memory efficient syntax tree for language developers☆63Updated last month
- Extremely minimal parser for ELF/PE/Mach-o/ar☆42Updated 4 years ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated 3 weeks ago
- A primitive for writing structural search and replace programs for rust☆31Updated last week
- An optimization modeling language with solvers for MILP problems☆59Updated 5 months ago
- 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
- An explicit closure with absolute seperation of the captured data from the function.☆37Updated 5 months ago