Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.
☆28Feb 25, 2022Updated 4 years ago
Alternatives and similar repositories for Specware
Users that are interested in Specware are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Jahob Verification System☆13Mar 19, 2017Updated 9 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 5 years ago
- ☆26May 16, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- ☆27Feb 7, 2017Updated 9 years ago
- ☆25Mar 24, 2023Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- ☆14Aug 5, 2026Updated 2 months ago
- A simple demonstration of the Agda Reflection API☆12Apr 3, 2012Updated 14 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 7 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.
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- Internalizing intensional type theory☆12Jun 20, 2015Updated 11 years ago
- Русский перевод документации Pyramid☆10Feb 22, 2019Updated 7 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- A declarative data mapper☆13Oct 13, 2019Updated 7 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated 2 years ago
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆14Oct 3, 2026Updated 3 weeks ago
- A library for tracking program state☆15Jun 18, 2016Updated 10 years ago
- Generate a prerequisite-tracking static website. Similar to metacademy.☆10Feb 2, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A specialised computer algebra system for topos theory.☆18Jun 23, 2024Updated 2 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- List of awesome resources and companies that practice microtasking☆16Feb 20, 2019Updated 7 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated 2 years ago
- What if we put HTMX into the Django Admin?☆20Oct 18, 2023Updated 3 years ago
- ☆11May 19, 2023Updated 3 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- multi-logic proof generator☆12Apr 13, 2026Updated 6 months ago
- ☆18Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 3 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated 2 years ago
- Archive of the categories mailling list☆13Sep 8, 2020Updated 6 years ago
- Rust port of the Tamarin Prover☆14Updated this week
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago