andres-erbsen Goto Github PK

adaptagrams

Libraries for constraint-based layout and connector routing for diagrams.

airmarkr

astraphobe

Android app to play a sound at change of light intensity in camera. Why is this THAT slow?

baseconvert

Convert between all bases 2..256 the most efficient way possible

bbv

Bedrock Bit Vector Library

bedrock2

An untyped C-like language for verified low-level programming, with a compiler to RISC-V

bignums

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

canonical-binary-tries

Coq development accompanying the paper "Efficient Extensional Binary Tries"

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

ceps

Coq Enhancement Proposals

certifying-derivation-of-state-machines-from-coroutines

chacha20-verilog

A Verilog implementation of ChaCha20

chatterbox

A chat thingy

cjdns

cjdns-estimate

Almost a simulation, trying to estimate how much longer are paths found by cjdns compared to actual shortest paths

clock

Clock is a small library for mocking time in Go.

cogs

Dotfiles and small scripts mostly used in my laptop

color

Coq library on rewriting theory and termination

coname-mit

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.

coq-debian-build-scripts

Various scripts for packaging versions of Coq into a ppa

coq-equations

A function definition package for Coq

coq-experiments

gists that build

coq-ext-lib

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

coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

coqprime

Prime numbers for Coq

coqtail

Interactive Coq Proofs in Vim

coqutil

Coq library for tactics, basic definitions, sets, maps

corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

cross-crypto

Connecting computational and symbolic crypto models