Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "formal-methods" keyword
Top 4.0% on hackage.haskell.org
115 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 75.9 thousand downloads total - 233 stars on GitHub - 1 maintainer
sbv 0.9.24
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...115 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 75.9 thousand downloads total - 233 stars on GitHub - 1 maintainer
z3 4.3.1
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the ...15 versions - Latest release: almost 6 years ago - 16 dependent repositories - 10.7 thousand downloads total - 57 stars on GitHub - 1 maintainer
improve 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...29 versions - Latest release: almost 13 years ago - 19.7 thousand downloads total - 56 stars on GitHub - 1 maintainer
hz3 96.0.0.0 💰
Fork of z3 with future-proof version-numbering scheme Bindings for the Z3 4.x Theorem Prover (ht...1 version - Latest release: over 4 years ago - 588 downloads total - 0 stars on GitHub
CSPM-CoreLanguage 0.3.1.0
This package contains an interface for the CSP core-language. It defines processes, events, event...8 versions - Latest release: over 6 years ago - 8.2 thousand downloads total - 1 maintainer
CSPM-FiringRules 0.4.4.0
This package contains functions for computing the transitions of a CSP process based on the stand...7 versions - Latest release: over 6 years ago - 7.29 thousand downloads total - 1 maintainer
toysolver 0.8.1
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...15 versions - Latest release: over 1 year ago - 2 dependent repositories - 15.1 thousand downloads total - 149 stars on GitHub - 1 maintainer
CSPM-Interpreter 0.7.1.0
This package contains an interpreter for CSPM and instance declarations that implement the interf...11 versions - Latest release: over 6 years ago - 10.8 thousand downloads total - 1 maintainer
hermit 1.0.1
HERMIT is a Haskell-specific toolkit designed to mechanize equational reasoning and program trans...18 versions - Latest release: about 8 years ago - 6 dependent repositories - 16.8 thousand downloads total - 4 maintainers
CSPM-cspm 0.8.1.0
cspm is a small command line tool for analyzing CSPM specifications.11 versions - Latest release: over 6 years ago - 10.9 thousand downloads total - 1 maintainer
sbvPlugin 9.8.2
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...18 versions - Latest release: about 2 months ago - 1 dependent repositories - 6.16 thousand downloads total - 44 stars on GitHub - 1 maintainer
CSPM-Frontend 0.12.1.0
CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by the form...13 versions - Latest release: over 6 years ago - 1 dependent repositories - 12.7 thousand downloads total - 1 maintainer
smcdel 1.3.0
See README.md for references and documentation.4 versions - Latest release: 14 days ago - 2 dependent repositories - 1.16 thousand downloads total - 39 stars on GitHub - 1 maintainer
g2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G23 versions - Latest release: about 2 months ago - 2 dependent repositories - 882 downloads total - 1 maintainer
ghc-proofs 0.1.1
Often when writing Haskel code, one would like to prove things about the code. A good example is...2 versions - Latest release: over 6 years ago - 1.57 thousand downloads total - 145 stars on GitHub - 1 maintainer
atp 0.1.0.0
Haskell interface to automated theorem provers1 version - Latest release: over 3 years ago - 1 dependent repositories - 176 downloads total - 6 stars on GitHub - 1 maintainer
tptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: over 3 years ago - 1 dependent repositories - 2.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme2 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 92 downloads total - 5 stars on GitHub - 1 maintainer
grisette 0.5.0.1
Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into cons...9 versions - Latest release: 20 days ago - 1 dependent package - 2 dependent repositories - 274 downloads total - 44 stars on GitHub - 1 maintainer
what4 1.5.1
What4 is a generic library for representing values as symbolic formulae which may contain referen...8 versions - Latest release: 7 months ago - 3 dependent packages - 18 dependent repositories - 3.77 thousand downloads total - 146 stars on GitHub - 3 maintainers
smtlib2 0.3.1
5 versions - Latest release: almost 8 years ago - 1 dependent package - 4 dependent repositories - 4.3 thousand downloads total - 1 maintainerdove 0.0.0
1 version - Latest release: about 9 years ago - 1.01 thousand downloads total - 1 maintainersafe-coupling 0.1.0.1
Relational proof system for probabilistic algorithms. Supports two proving methods: upper bound K...2 versions - Latest release: almost 2 years ago - 1 dependent repositories - 123 downloads total - 3 stars on GitHub - 1 maintainer
opentheory 1.200
9 versions - Latest release: almost 9 years ago - 5.99 thousand downloads total - 1 maintainersbv-program 1.1.0.0
Given a library of available componen functions, synthesize a program implementing a specification.2 versions - Latest release: over 1 year ago - 1 dependent repositories - 97 downloads total - 0 stars on GitHub - 1 maintainer
theoremquest 0.0.0
1 version - Latest release: about 13 years ago - 1 dependent repositories - 1.15 thousand downloads total - 1 maintaineryices-painless 0.1.2
3 versions - Latest release: over 13 years ago - 2.45 thousand downloads total - 1 maintainerg2q 0.1.0.0
G2Q allows constraint programming, via writing Haskell predicates. A quasiquoter, g2, is provided...1 version - Latest release: almost 5 years ago - 488 downloads total - 1 maintainer
smtlib2-pipe 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 1.02 thousand downloads total - 1 maintainertheoremquest-client 0.0.0
1 version - Latest release: about 13 years ago - 1.11 thousand downloads total - 1 maintaineropentheory-bits 1.69
5 versions - Latest release: over 8 years ago - 3.11 thousand downloads total - 1 maintainersmtlib2-quickcheck 1.0
1 version - Latest release: over 7 years ago - 953 downloads total - 1 maintaineropentheory-probability 1.52
5 versions - Latest release: over 8 years ago - 3.3 thousand downloads total - 1 maintainerSmtLib 0.1.0.0
Parser for smt-lib Command responses1 version - Latest release: about 9 years ago - 1.18 thousand downloads total - 2 stars on GitHub - 1 maintainer
boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: over 3 years ago - 2 dependent repositories - 5.85 thousand downloads total - 4 stars on GitHub - 1 maintainer
opentheory-byte 1.128
5 versions - Latest release: over 8 years ago - 3.2 thousand downloads total - 1 maintainersmtlib2-debug 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 967 downloads total - 1 maintainersmtlib2-timing 1.0
1 version - Latest release: over 7 years ago - 970 downloads total - 1 maintainerafv 0.1.1
7 versions - Latest release: about 14 years ago - 5.66 thousand downloads total - 1 maintainerCSPM-ToProlog 0.5.5.0
This package contains a translation from a CSPM AST to the representation used by the ProB tool. ...6 versions - Latest release: over 6 years ago - 1 dependent repositories - 5.77 thousand downloads total - 1 maintainer
acl2 0.0.1
2 versions - Latest release: over 9 years ago - 2.33 thousand downloads total - 1 maintaineropentheory-primitive 1.8
9 versions - Latest release: over 8 years ago - 5.91 thousand downloads total - 1 maintainergrisette-monad-coroutine 0.2.0.0
Orphan instances and wrappers for monad-coroutine package with Grisette.2 versions - Latest release: 4 months ago - 1 dependent repositories - 79 downloads total - 1 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: about 1 year ago - 2 dependent packages - 2 dependent repositories - 141 downloads total - 6 stars on GitHub - 1 maintainer
Related Keywords
library
42
bsd3
26
theorem-provers
21
smt
15
symbolic-computation
13
program
10
language
10
math
9
haskell
9
mit
8
gpl
8
concurrency
5
bit-vectors
5
verification
4
logic
4
theorem-proving
3
theorem-prover
3
automated-theorem-provers
2
game
2
tptp
2
optimization
2
mpl
2
maths
2
mathematics
2
haskell-library
1
eprover
1
pretty-printer
1
parsing
1
embedded
1
parsing-library
1
pretty-print
1
vampire
1
automatic-theorem-proving
1
symbolic-evaluation
1
symbolic-execution
1
synthesis
1
floating-point
1
floating-point-arithmetic
1
formal-verification
1
deprecated
1
z3
1
algorithms
1
constraints
1
optimisation
1
api
1
mathematical-programming
1
sat-solver
1
smt-solver
1
refactoring
1
reflection
1
transformation
1
sbv
1
epistemic-logic
1
model-checking
1
symbolic
1
compiler-plugin
1
atp
1
first-order-logic
1
prover
1