Niki Vazou

presentations. Presentations on Liquid Haskell, type theory, and more

theorem-proving-template. Template repo for theorem proving in Liquid Haskell

EquationalReasoningInLiquidHaskell. Derivation of Optimized Definitions Based on Specs

thesis. Liquid Haskell: How to turn Haskell into a Theorem Prover

proof-combinators. Proof combinators used in Liquid Haskell for theorem proving

verified_string_matching. Verified Parallelized Version of String Mathcing

liquid-meta. Haskell

liquidhaskell-course. Course on Liquid Haskell

haskell-course. Haskell

fopss2023. Haskell

CMSC498V. Advances Functional Programming Languages

prover. Automatic Prover for Logical Predicates

club_de_science. Haskell

Data.Equations. Equation Manipulation on Haskell

RTick. Reasoning about resource usage in Liquid Haskell

OOPSLA18-artifact. Artifact for Gradual Liquid Types

LiquidHOL. Proving Various HOL properties using Liquid Haskell

tic-tac-toe. Yet another tic-tac-toe game, implemented in Haskell.

cse105Fa14. Haskell session of cse105

static-analysis. ⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

liquidate. Template for building a project with Liquid Haskell

rp-liquid-tutorial. Tutorial for RP

thesis_proposal.

propositional-equality. Propositional Equality in Liquid Haskell

presentation-hopa13. Tutorial: Type-Based Analysis of Higher-Order Programs