nikivazou/tic-tac-toe

Stars
1
Language
Haskell
Created about 5 years ago
Updated about 5 years ago

nikivazou/tic-tac-toe

nikivazou

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

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

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

CMSC498V

Advances Functional Programming Languages

propositional-equality

Propositional Equality in Liquid 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