Reisande / RflapLinks
Jflap but in the Rust programming language and React framework for Javascript. Made by Misha Ryabko (https://www.github.com/Reisande) and Chris Cortina (https://github.com/heldeo)
☆12Updated 3 years ago
Alternatives and similar repositories for Rflap
Users that are interested in Rflap are comparing it to the libraries listed below
Sorting:
- Enhancing the Factorio experience with SAT solvers☆763Updated last year
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆674Updated 7 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,470Updated last week
- A small javaagent meant to fix some issues faced when trying to run starsector on >8 JVM☆15Updated 2 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,738Updated last week
- Stellaris save data visualization suite☆89Updated last year
- A verification toolchain for Rust programs☆554Updated this week
- Algebraic effects for Rust☆649Updated last year
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆368Updated last week
- Verified Rust for low-level systems code☆2,270Updated last week
- A fast, pure-Rust library for computational number theory☆45Updated 2 weeks ago
- Rust bindings for the Z3 solver.☆482Updated last month
- ☆11Updated 3 years ago
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆71Updated 2 years ago
- Formalized Cryptography Proofs in Lean 4☆65Updated this week
- A Rust language and style specification for the LaTeX-package listings☆187Updated 2 years ago
- A compiler for fully homomorphic encryption and zero knowledge proofs☆300Updated 5 months ago
- A tool for synthesis of Rust code, very early prototype☆13Updated 2 years ago
- Refinement Types for Rust☆825Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆3,018Updated 4 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.☆1,062Updated this week
- ☆12Updated this week
- AutoHotkey for Linux (X11-based systems)☆990Updated last month
- An arbitrary-precision arithmetic library for Rust.☆553Updated this week
- Bot that comments Petrosian pasta☆169Updated 2 years ago
- Formally Verified Arguments of Knowledge in Lean☆152Updated this week
- A successor to the much revered and sorely missed UQ Timetable Planner☆30Updated 8 months ago
- Data interchange with algebraic data types.☆757Updated 2 months ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆451Updated 11 months ago
- A tiny stack machine to learn Ethereum bytecode.☆12Updated last year