advancedresearch / pocket_prover
A fast, brute force, automatic theorem prover for first order logic
☆36Updated last year
Related projects: ⓘ
- A linear solver designed to be easy to use with Rust enums.☆32Updated 3 years ago
- An automated theorem prover for first order logic.☆28Updated 7 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Dual Number library for Rust☆17Updated 3 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 4 months ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A simple neural net implementation.☆39Updated 5 years ago
- An implementation of the Tsetlin Machine in Rust☆15Updated 6 years ago
- Virtual Machine/Interpreter dispatch method experiments in Rust☆34Updated 6 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10Updated 2 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Crunchy unroller - deterministically unroll constant loops☆36Updated 4 months ago
- Propositional logic with exponentials☆15Updated last month
- ☆22Updated 2 years ago
- SAW front end for the MIR language from rustc☆35Updated 3 years ago
- An enrichment of Rust's core language to support more advanced features☆14Updated 7 years ago
- Reverse engineering framework.☆36Updated 2 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆25Updated last month
- The website for the AdvancedResearch community☆20Updated 8 months ago
- (More or less) accurate floating point algorithms☆51Updated 2 months ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 5 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆45Updated 3 years ago
- Arbitrary precision integers library.☆27Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- A proof of concept automatic differentiation library for Rust☆23Updated 6 years ago
- Renders interactive fractal-like animations☆18Updated 7 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- Stack-allocated trait objects☆18Updated 2 years ago