Pinned Repositories
acme-lookofdisapproval
bx
icfp2019-papers
ICFP 2019 preprints/papers
icfp2020-papers
ICFP 2020 papers. Crowd-sourced
kex
K language semantics
kiss
prose
Pure-Haskell proper unicode string handling
riak.d
dtrace + riak
llelf's Repositories
llelf/icfp2020-papers
ICFP 2020 papers. Crowd-sourced
llelf/kex
K language semantics
llelf/bx
llelf/kiss
llelf/text-icu-translit
ICU transliteration for Haskell
llelf/advent2019
adventofcode2019 in K7
llelf/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
llelf/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.
llelf/yokozuna
Riak + Solr
llelf/color
Coq library on rewriting theory and termination
llelf/CompCert
The CompCert formally-verified C compiler
llelf/Coq-Equations
A function definition package for Coq
llelf/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
llelf/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
llelf/fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
llelf/hierarchical-free-monads-the-most-developed-approach-in-haskell
Article about the most developed approach to build real software in Haskell
llelf/kcc
k crash course
llelf/man
Unix-like man function for the q programming language
llelf/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
llelf/math-comp
Mathematical Components
llelf/ok
An open-source interpreter for the K5 programming language.
llelf/pe
llelf/PG
This repo is the new home of Proof General
llelf/QuickChick
Randomized Property-Based Testing Plugin for Coq
llelf/riak
Riak is a decentralized datastore from Basho Technologies.
llelf/riscv-formal
RISC-V Formal Verification Framework
llelf/tree-sitter-k
llelf/v1s
llelf/VST
Verified Software Toolchain
llelf/wtk