verified_string_matching

Verified Parallelized Version of String Mathcing

BSD-3-CLAUSE License

Stars
6
View Code on GitHub
Ecosystems: Haskell

Verifying Monoidal String Matching in Liquid Haskell and Coq

See https://nikivazou.github.io/static/Haskell17/a-tale.pdf for a description

Related Projects
liquid-meta

20 Dec 2021 5
fp-lab-2022-23

02 Oct 2022 7
koneko

koneko - a concatenative not-quite-lisp for kittens

18 Nov 2017 21
jace

just another compiler experiment

04 Jan 2017 14
th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9
nix-linter

Linter for the Nix expression language

02 Oct 2018 159
simple-haskell-minifier

Simple Haskell Minifier

25 Feb 2023 5
proof-combinators

Proof combinators used in Liquid Haskell for theorem proving

28 Mar 2018 12
Fuzzily

Fuzzy string search library in Haskell

03 May 2024 2
theorem-proving-template

Template repo for theorem proving in Liquid Haskell

10 Oct 2017 32
combinator-interactive

06 Sep 2013 3
numeric-ode

Haskell numerical ODE solvers

05 Apr 2012 14
haskell-ebml

Pure parser for rfc-8794

19 Jan 2023 4
presentations

Presentations on Liquid Haskell, type theory, and more

28 Oct 2016 43
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77