Starred repositories
An incremental parsing system for programming tools
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
The Citation File Format lets you provide citation metadata for software or datasets in plaintext files that are easy to read by both humans and machines.
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
The user-friendly command line shell.
A framework for smart contract verification in Coq
Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]
An extension for VS Code that visualizes data during debugging.
Test monadic programs using state machine based models
Split your file into encrypted fragments so that you don't need to remember a passcode
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Talk presented in Lisk Blockchain Meetup Berlin on 18/07/2017
Propositional Calculus in Coq by Floris van Doorn
Normalization by Evaluation for Martin-Löf Type Theory
Theory Exploration for Isabelle using HipSpec
A collection of small projects to illustrate how to write plugins for Coq
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
A fast linearizability checker written in Go 🔎
A decentralized P2P networking stack written in Go.