Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Verification Open Source Projects

Open source projects categorized as Haskell Verification
Categories > Software Quality > Verification
Liquidhaskell ⭐ 1,132
Liquid Types For Haskell
total releases 32most recent commit 3 months ago
Copilot ⭐ 563
A stream-based runtime-verification framework for generating hard real-time C code.
most recent commit 4 months ago
Tamarin Prover ⭐ 361
Main source code repository of the Tamarin prover for security protocol verification.
total releases 17most recent commit 3 months ago
Camfort ⭐ 119
Light-weight verification and transformation tools for Fortran
most recent commit 6 months ago
Vehicle ⭐ 62
A toolkit for enforcing logical specifications on neural networks
most recent commit 3 months ago
Zkp ⭐ 61
A framework to execute and verify algorithms using Groth16 zkSNARKs.
most recent commit 4 years ago
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5most recent commit 3 months ago
Feynman ⭐ 43
Quantum circuit analysis toolkit
most recent commit 4 months ago
Sbvplugin ⭐ 41
Formally prove properties of Haskell programs using SBV/SMT.
total releases 16most recent commit 4 months ago
Verigraph ⭐ 27
Software specification and verification system based on graph rewriting
most recent commit 5 years ago
Violet ⭐ 23
Superscalar RISC-V processor written in Clash.
most recent commit 2 years ago
Fbpmn ⭐ 23
🔬 formal tools for BPMN
most recent commit 2 years ago
Quivela ⭐ 21
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
most recent commit 5 years ago
Costlystate ⭐ 17
Classroom demonstration of costly state verification in finance
most recent commit 9 years ago
Netcore 1.0 ⭐ 15
Compiler from NetCore to OpenFlow and associated tools.
total releases 1most recent commit 9 years ago
Pate ⭐ 13
Patches Assured up to Trace Equivalence
most recent commit 3 months ago
Llvmvf ⭐ 8
LLVM Verification Framework
most recent commit 2 years ago
Saltlang ⭐ 7
Salt- A dependently-typed higher-order stateful concurrent language.
most recent commit 7 years ago
Ltl24 ⭐ 7
An experimental verification and querying language for F24 football data
most recent commit 7 years ago
Vstyle ⭐ 7
A style guide for Coq
most recent commit 2 years ago
Language Qux ⭐ 7
WIP: Utilities for working with the Qux language
most recent commit 6 years ago
System Fc Coq ⭐ 6
most recent commit 9 years ago
Popl18 Lh Prover Artifact ⭐ 6
Artifact for "Towards Complete Verification via SMT"
most recent commit 7 years ago
The 6 Latest Releases In Haskell Verification Open Source Projects
Liquidhaskell ⭐ 1,132
Liquid Types For Haskell
total releases 32latest release December 06, 2023most recent commit 3 months ago
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5latest release September 29, 2023most recent commit 3 months ago
Sbvplugin ⭐ 41
Formally prove properties of Haskell programs using SBV/SMT.
total releases 16latest release April 14, 2023most recent commit 4 months ago
Hs Ed25519 Donna ⭐ 5
Haskell bindings to floodyberry's ed25519 C code (EC signature scheme)
total releases 2latest release April 24, 2017most recent commit 5 years ago
Tamarin Prover ⭐ 361
Main source code repository of the Tamarin prover for security protocol verification.
total releases 17latest release March 29, 2017most recent commit 3 months ago
Netcore 1.0 ⭐ 15
Compiler from NetCore to OpenFlow and associated tools.
total releases 1latest release January 26, 2015most recent commit 9 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.