adam-mcdaniel / reckonLinks
A reasonable theorem prover for your reasoning tasks!
☆26Updated 9 months ago
Alternatives and similar repositories for reckon
Users that are interested in reckon are comparing it to the libraries listed below
Sorting:
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆35Updated last month
- ☆35Updated 9 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated last year
- Exhaustive iteration trait in Rust☆17Updated 3 weeks ago
- Macro assembler for Rust☆35Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆47Updated 7 months ago
- An alternative `std`-like implementation built on origin☆31Updated 8 months ago
- A Rustified OpenCL Experience☆46Updated 2 years ago
- An evil parsing library.☆54Updated 2 years ago
- An engine for a chess variant which adds banks🏦 and a market📈!☆45Updated last year
- Hitori is a generic regular expressions library.☆54Updated 2 years ago
- A primitive for writing structural search and replace programs for rust☆31Updated 2 months ago
- Binary size analyzer for Rust programs☆37Updated last year
- A new cross platform general prupose Line editor implementation designed with the goal to be flexible and customizable☆49Updated last year
- Ygen - Yet another code generation libary (abandoned)☆111Updated last month
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- Minimalist Rust syntax parsing for procedural macros☆66Updated last year
- Support for compiling C programs with Eyra☆13Updated last year
- A safe, fast, lightweight embeddable scripting language written in Rust.☆22Updated 2 years ago
- Ansic is a modern, efficient and compile time ansi macro and utilities.☆56Updated 4 months ago
- State machine pattern for Rust☆29Updated last year
- A visual-first, statically typed, pluggable, graph-based programming language☆27Updated 2 months ago
- ☆53Updated last year
- Rust crate for writing repetitive code easier and faster.☆45Updated 2 years ago
- the definitive non-empty slice/array/vec library for Rust☆18Updated 4 months ago
- Rust bindings for libgccjit☆26Updated last week
- 🐱concat! with support for const variables and expressions☆44Updated this week
- A memory efficient syntax tree for language developers☆62Updated 3 months ago
- Strongly typed vector math with glam☆35Updated 6 months ago