liquidhaskell
by ucsd-progsys
Liquid Types For Haskell
AI summary
Haskell Verifier
A tool for verifying and validating Haskell programs using refinement types and SMT logic
- stars
- 1.2K
- forks
- 138
- watching
- 28
Similar projects
Found by comparing what the projects do, not just their names.
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
RISC-V core
Develops a formally verified RISC-V processor core using Haskell
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
Haskell parser
A toolset for manipulating and analyzing Haskell source code
Haskell Interpreter
A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment.
def-/ghc-vis136
Data visualizer
A tool to visualize live Haskell data structures in GHCi
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Haskell preprocessor
Provides libraries and tools for preprocessing Haskell source code to enable entity cross-referencing
HLS verifier
A tool for formally verifying high-level synthesis of digital circuits
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
sol/doctest374
Example validator
Tools for verifying and validating Haskell code examples
MongoDB Verifier
A tool for verifying MongoDB operations and recording their execution
Haskell web UI library
A set of libraries and tools for building web UI using Haskell
