adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆28Updated 11 months ago
Alternatives and similar repositories for reckon
Users that are interested in reckon are comparing it to the libraries listed below
Sorting:
- ☆35Updated 11 months ago
- An alternative `std`-like implementation built on origin☆32Updated 10 months ago
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆35Updated last month
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- Exhaustive iteration trait in Rust☆19Updated 3 weeks ago
- Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.☆15Updated 8 months ago
- Rust bindings for libgccjit☆27Updated last month
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Updated last month
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Updated 7 months ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆47Updated 9 months ago
- An engine for a chess variant which adds banks🏦 and a market📈!☆46Updated last year
- Human-friendly indexed collections☆56Updated 2 months ago
- Macro assembler for Rust☆35Updated last year
- Hitori is a generic regular expressions library.☆54Updated 2 years ago
- An evil parsing library.☆54Updated 2 years ago
- A primitive for writing structural search and replace programs for rust☆31Updated 3 months ago
- Ansic is a modern, efficient and compile time ansi macro and utilities.☆57Updated 5 months ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Updated 10 months ago
- Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.☆121Updated 3 months ago
- Cross-platform, endian-aware primitives for Rust☆46Updated 3 months ago
- A regex crate using Brzozowski derivatives.☆27Updated 8 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- the definitive non-empty slice/array/vec library for Rust☆18Updated 6 months ago
- Support for compiling C programs with Eyra☆14Updated last year
- Minimalist Rust syntax parsing for procedural macros☆66Updated last year
- A safe, fast, lightweight embeddable scripting language written in Rust.☆22Updated 2 years ago
- A tool for generating geometric figures based on definitions and rules.☆20Updated last year
- Binary size analyzer for Rust programs☆37Updated last year
- A simple macro to create correct opaque pointers☆21Updated 4 years ago
- A Rust crate for creating and managing system call filters, providing a safe and ergonomic interface for controlling access to system res…☆39Updated 6 months ago