Pinned Repositories
EquationalReasoningInLiquidHaskell
Derivation of Optimized Definitions Based on Specs
fopss2023
haskell-course
liquid-meta
liquidhaskell-course
Course on Liquid Haskell
presentations
Presentations on Liquid Haskell, type theory, and more
proof-combinators
Proof combinators used in Liquid Haskell for theorem proving
theorem-proving-template
Template repo for theorem proving in Liquid Haskell
thesis
Liquid Haskell: How to turn Haskell into a Theorem Prover
verified_string_matching
Verified Parallelized Version of String Mathcing
nikivazou's Repositories
nikivazou/presentations
Presentations on Liquid Haskell, type theory, and more
nikivazou/theorem-proving-template
Template repo for theorem proving in Liquid Haskell
nikivazou/EquationalReasoningInLiquidHaskell
Derivation of Optimized Definitions Based on Specs
nikivazou/proof-combinators
Proof combinators used in Liquid Haskell for theorem proving
nikivazou/liquid-meta
nikivazou/liquidhaskell-course
Course on Liquid Haskell
nikivazou/fopss2023
nikivazou/haskell-course
nikivazou/CMSC498V
Advances Functional Programming Languages
nikivazou/OOPSLA18-artifact
Artifact for Gradual Liquid Types
nikivazou/RTick
Reasoning about resource usage in Liquid Haskell
nikivazou/liquidate
Template for building a project with Liquid Haskell
nikivazou/propositional-equality
Propositional Equality in Liquid Haskell
nikivazou/static-analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
nikivazou/tic-tac-toe
Yet another tic-tac-toe game, implemented in Haskell.
nikivazou/acmart
ACM consolidated LaTeX styles
nikivazou/binah-basic
nikivazou/coding19-imdea.github.io
nikivazou/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
nikivazou/hakyll
A static website compiler library in Haskell
nikivazou/haskellfoundation.github.io
The Haskell Foundation github pages site
nikivazou/hlola
A Runtime Verification Engine
nikivazou/liquid-server
Web Server for Liquid-Types demos.
nikivazou/liquidhaskell-blog
LiquidHaskell blog
nikivazou/liquidmeta
Metatheory of Refinement Types in Liquid Haskell
nikivazou/nikivazou.github.io
My website
nikivazou/priority-sesh
Session Types with Priority in Linear Haskell
nikivazou/rest
A library for rewriting
nikivazou/SIGPLAN.github.io
SIGPLAN website
nikivazou/test-jekyll