21 skills found
ucsd-progsys / LiquidhaskellLiquid Types For Haskell
nikivazou / PresentationsPresentations on Liquid Haskell, type theory, and more
nikivazou / Theorem Proving TemplateTemplate repo for theorem proving in Liquid Haskell
spinda / Liquidhaskell Cabal💧 Liquid Haskell integration for Cabal and Stack
steve-anunknown / HaalHaskell Active Automata Learning library
storm-framework / StormStatic security for database-backed Haskell applications using Liquid Haskell
nikivazou / EquationalReasoningInLiquidHaskellDerivation of Optimized Definitions Based on Specs
nikivazou / ThesisLiquid Haskell: How to turn Haskell into a Theorem Prover
nikivazou / Proof CombinatorsProof combinators used in Liquid Haskell for theorem proving
madgen / Refinement Types SeminarMaterial for Liquid Haskell/refinement types seminar at Queens' College
XertroV / BlocvotingBlocVoting Haskell implementation for voting securely on a satoshi blockchain using liquid democracy
kosmikus / Popl21 Liquid Haskell TutorialNo description available
wenkokke / LazuliLiquid Haskell library for verifying neural networks.
spinda / Liquidhaskell Cabal Demo🚤 Test drive Liquid Haskell integration for Cabal and Stack
csgordon / RghaskellPorting a variant of rely-guarantee references to Liquid Haskell
pbrisbin / LiquidHaskell implementation of Liquid templating by Shopify
ucsd-progsys / Liquid Fixpoint OcamlHaskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
kantp / Liquidhaskell TutorialSome examples using Liquid Haskell
mgritter / Aoc LhAdvent of Code 2022 in Liquid Haskell
liquidhaskell / Liquid BaseDrop-in replacement for the base library, to use with Liquid Haskell
