Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 21 Haskell Smt Open Source Projects

Open source projects categorized as Haskell Smt
Liquidhaskell ⭐ 1,132
Liquid Types For Haskell
total releases 32most recent commit 3 months ago
Cryptol ⭐ 1,091
Cryptol: The Language of Cryptography
total releases 20most recent commit 3 months ago
Bsc ⭐ 850
Bluespec Compiler (BSC)
most recent commit 3 months ago
Zkp ⭐ 61
A framework to execute and verify algorithms using Groth16 zkSNARKs.
most recent commit 4 years ago
Haskell Z3 ⭐ 54
Haskell bindings to Microsoft's Z3 API (unofficial).
total releases 12most recent commit a year ago
Saw Core ⭐ 51
The SAW core language.
most recent commit 3 years ago
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5most recent commit 4 months ago
Sbvplugin ⭐ 41
Formally prove properties of Haskell programs using SBV/SMT.
total releases 16most recent commit 4 months ago
Torxakis ⭐ 37
A tool for Model Based Testing
most recent commit 3 years ago
Gdp Paper ⭐ 25
Ghosts of Departed Proofs
most recent commit 6 years ago
The Thoralf Plugin ⭐ 20
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
most recent commit 4 years ago
Nano Smt ⭐ 19
"Toy" SMT Solver for Educational Purposes
most recent commit 11 years ago
Awesome Ast ⭐ 18
Tools for AST hacking
most recent commit 5 years ago
Smten ⭐ 17
Compiler and runtime of the Smten language for functional programming and orchestration of SMT queries
most recent commit 6 years ago
Benchmarks ⭐ 15
Tons of Inductive Problems: The Benchmarks
most recent commit 10 months ago
Llvmvf ⭐ 8
LLVM Verification Framework
most recent commit 2 years ago
Language Qux ⭐ 7
WIP: Utilities for working with the Qux language
most recent commit 6 years ago
Algebra Elementary ⭐ 7
An elementary algebra library written in Haskell.
most recent commit 9 years ago
Surely ⭐ 6
An Haskell library to solve SAT problems, Maybe
most recent commit 10 years ago
Popl18 Lh Prover Artifact ⭐ 6
Artifact for "Towards Complete Verification via SMT"
most recent commit 7 years ago
Smt Solving ⭐ 5
BFPG talk on SMT solving in Haskell
most recent commit 6 years ago
The 5 Latest Releases In Haskell Smt 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 4 months ago
Cryptol ⭐ 1,091
Cryptol: The Language of Cryptography
total releases 20latest release June 26, 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
Haskell Z3 ⭐ 54
Haskell bindings to Microsoft's Z3 API (unofficial).
total releases 12latest release May 13, 2018most recent commit a year 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.