Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell formal verification
formal-verification
x
haskell
x
7 search results found
Awesome Provable
⭐
136
A curated set of links to formal methods involving provable code.
Riscvspecformal
⭐
58
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.
Pirouette
⭐
48
Language-generic workbench for building static analysis
Horus Checker
⭐
43
Horus, a formal verification tool for StarkNet smart contracts.
Vstyle
⭐
7
A style guide for Coq
Propafp
⭐
6
Auto-active verification of floating-point programs.
Absol
⭐
5
Formally correct DSLs
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.