nikivazou/CMSC498V

Stars
2
Language
Haskell
License
MIT License
Created over 7 years ago
Updated over 6 years ago

nikivazou/CMSC498V

nikivazou

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Advances Functional Programming Languages

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

proof-combinators

Proof combinators used in Liquid Haskell for theorem proving

thesis

Liquid Haskell: How to turn Haskell into a Theorem Prover

verified_string_matching

Verified Parallelized Version of String Mathcing

liquid-meta

liquidhaskell-course

Course on Liquid Haskell

fopss2023

haskell-course

OOPSLA18-artifact

Artifact for Gradual Liquid Types

Data.Equations

Equation Manipulation on Haskell

RTick

Reasoning about resource usage in Liquid Haskell

club_de_science

prover

Automatic Prover for Logical Predicates

propositional-equality

Propositional Equality in Liquid Haskell

tic-tac-toe

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

cse105Fa14

Haskell session of cse105

presentation-hopa13

Tutorial: Type-Based Analysis of Higher-Order Programs

thesis_proposal

LiquidHOL

Proving Various HOL properties using Liquid Haskell