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:
- ☆35Updated 7 months ago
- Exhaustive iteration trait in Rust☆16Updated this week
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆32Updated 2 weeks ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 10 months ago
- An alternative `std`-like implementation built on origin☆31Updated 5 months ago
- An engine for a chess variant which adds banks🏦 and a market📈!☆45Updated last year
- An optimization modeling language with solvers for MILP problems☆56Updated this week
- A tool for generating geometric figures based on definitions and rules.☆20Updated 8 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated last month
- the definitive non-empty slice/array/vec library for Rust☆17Updated 2 months ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆37Updated 5 months ago
- Rust bindings for libgccjit☆23Updated 3 weeks ago
- A Rustified OpenCL Experience☆46Updated 2 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆32Updated 2 weeks ago
- Human-friendly indexed collections☆54Updated 3 months ago
- A visual-first, statically typed, pluggable, graph-based programming language☆29Updated this week
- A memory efficient syntax tree for language developers☆62Updated 3 weeks ago
- ☆44Updated 5 months ago
- Macro assembler for Rust☆35Updated last year
- Zig comptime using Rust proc macros☆50Updated last year
- A Rust library for constructing tilings of regular polygons☆31Updated 4 years ago
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated 2 years ago
- State machine pattern for Rust☆29Updated 10 months ago
- A regex crate using Brzozowski derivatives.☆27Updated 4 months ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 5 months ago
- A Rust crate for creating and managing system call filters, providing a safe and ergonomic interface for controlling access to system res…☆40Updated last month
- Hitori is a generic regular expressions library.☆54Updated 2 years ago
- A new cross platform general prupose Line editor implementation designed with the goal to be flexible and customizable☆49Updated 10 months ago
- 🗃 UTF-8 string, byte string, and C string interner☆29Updated last week