llelf

icfp2020-papers

ICFP 2020 papers. Crowd-sourced

kex

K language semantics

bx

kiss

text-icu-translit

ICU transliteration for Haskell

advent2019

adventofcode2019 in K7

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

yokozuna

Riak + Solr

color

Coq library on rewriting theory and termination

CompCert

The CompCert formally-verified C compiler

Coq-Equations

A function definition package for Coq

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

hierarchical-free-monads-the-most-developed-approach-in-haskell

Article about the most developed approach to build real software in Haskell

kcc

k crash course

man

Unix-like man function for the q programming language

math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

math-comp

Mathematical Components

ok

An open-source interpreter for the K5 programming language.

pe

PG

This repo is the new home of Proof General

QuickChick

Randomized Property-Based Testing Plugin for Coq

riak

Riak is a decentralized datastore from Basho Technologies.

riscv-formal

RISC-V Formal Verification Framework

tree-sitter-k

v1s

VST

Verified Software Toolchain

wtk