ucsd-progsys / Liquidhaskell
Licence: other
Liquid Types For Haskell
Stars: ✭ 863
Programming Languages
haskell
3896 projects
Labels
Projects that are alternatives of or similar to Liquidhaskell
Sat smt by example
"SAT/SMT by example" free ebook
Stars: ✭ 339 (-60.72%)
Mutual labels: verification, smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (-59.21%)
Mutual labels: verification, smt
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (-60.49%)
Mutual labels: verification, smt
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (-85.52%)
Mutual labels: verification, smt
Fstar
A Proof-oriented Programming Language
Stars: ✭ 2,171 (+151.56%)
Mutual labels: verification, smt
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (-72.07%)
Mutual labels: verification, smt
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (-76.94%)
Mutual labels: verification, smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (-64.66%)
Mutual labels: verification, smt
Certigrad
Bug-free machine learning on stochastic computation graphs
Stars: ✭ 366 (-57.59%)
Mutual labels: verification
Ttgpuzzleverify
By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件
Stars: ✭ 350 (-59.44%)
Mutual labels: verification
Cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Stars: ✭ 476 (-44.84%)
Mutual labels: smt
Cocotb
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Stars: ✭ 740 (-14.25%)
Mutual labels: verification
Rn Countdown
⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。
Stars: ✭ 19 (-97.8%)
Mutual labels: verification
Pact broker
Enables your consumer driven contracts workflow
Stars: ✭ 540 (-37.43%)
Mutual labels: verification
Vunit
VUnit is a unit testing framework for VHDL/SystemVerilog
Stars: ✭ 438 (-49.25%)
Mutual labels: verification
Adafruit cad parts
CAD files for various boards, components and parts
Stars: ✭ 386 (-55.27%)
Mutual labels: smt
F License
Open Source License Key Generation and Verification Tool written in Go
Stars: ✭ 535 (-38.01%)
Mutual labels: verification
Quick Links
- Try LiquidHaskell in your browser
- Splash page with examples and link to blog
- 120 minute workshop with more examples
- Long ish Tutorial
Documentation
Questions
If you have any questions
- Join the Liquid Haskell slack channel
- Mail the users mailing list
- Create a github issue
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].