A sample verifier for a toy language built on top of Boogie
☆27Nov 24, 2022Updated 3 years ago
Alternatives and similar repositories for forro
Users that are interested in forro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A template to get up and running as fast as possible with Fable and publishing to multiple languages.☆17Jun 20, 2024Updated 2 years ago
- Functional Programming for Logicians, 2019 Spring, ELTE☆12Jun 11, 2019Updated 7 years ago
- Fable + Vite+ Tauri + React(Feliz)☆24Sep 5, 2022Updated 4 years ago
- Comparing shrinking approaches and performance across different PBT libraries☆31Sep 3, 2026Updated 2 weeks ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆37Jul 20, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Super Tiny Compiler in Ada☆26May 19, 2026Updated 4 months ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆11Jun 27, 2025Updated last year
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated last month
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- A Reactive Sparql Client written in Scala and Akka☆14Sep 18, 2023Updated 3 years ago
- Various tools written or modified by me☆10Apr 14, 2026Updated 5 months ago
- ☆12Feb 4, 2024Updated 2 years ago
- An automated deductive program verifier.☆42Mar 2, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Implicit Data Markup☆13Jan 15, 2025Updated last year
- ☆18Jul 24, 2024Updated 2 years ago
- Small and simple actor model implementation.☆10Mar 7, 2026Updated 6 months ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- Lisp and Scheme Editor IDE☆35Sep 6, 2022Updated 4 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- Interactive side-bar feature for leaf based init.el☆12May 16, 2026Updated 4 months ago
- ☆15Apr 16, 2021Updated 5 years ago
- A curated list of awesome GitHub Blocks resources.☆19Nov 30, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Transactional memory (mostly Intel® TSX) experiments☆14May 3, 2014Updated 12 years ago
- F# interactive service API exposed via a lightweight HTTP server☆13Mar 6, 2018Updated 8 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated 2 years ago
- A Lua helper library for creating network protocol dissectors☆13Nov 26, 2020Updated 5 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- The official engine source code for Project ORKA☆10Nov 25, 2024Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Random program generator for Python☆10Jun 20, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last week
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 10 months ago
- isla coq infrastructure☆22Mar 11, 2025Updated last year
- VSCode extension adding BNF and EBNF syntax highlighting☆11Sep 13, 2023Updated 3 years ago
- Examples of how empathy is used to develop software.☆11Aug 15, 2023Updated 3 years ago
- Experimental Concept for an Elmish Hot Reloading Bolero setup☆14Sep 21, 2019Updated 7 years ago
- An implementation of JSON decoders and encoders inspired by elm/json☆18May 16, 2021Updated 5 years ago