janno Goto Github PK

add_transparency_example

agda

Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list

agda-reglang

A formalization of regular languages in agda with a focus on making use of dependent types

agda-summer-school

Summer school on programming in Agda

assert.sh

bash unit testing framework

atomic-charge

autorandr

Auto-detect the connect display hardware and load the appropriate X11 setup using xrandr

bachelor-thesis

Constructive Theory of Regular Languages

brick

Formalization of C++ for verification purposes.

cardshuffle

Real-time Strategy Game simulation of enemy wizard parties

collectd-lxc

Collectd metrics of lxc container

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-elpi

Coq plugin embedding elpi

coq-lens

Lenses in Coq

coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

fakews

a small command line application to inject a hook library in order to make ServerNT systems appear to be workstations (WinNT)

flup-py3.3

A Python 3.3 compatible clone of http://hg.saddi.com/flup-py3.0

kblocks

Python script to check the existence of kblocks in many, many graphs

koutack

A Solver for the koutack game. (game logic flawed... still collecting statistics regarding the merging priorities >_>)

locl

Limits of Computational Learning

ltac2-compiler-bug-repro

mtac2

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

openssh-wrapper

Python wrapper around OpenSSH client intended to execute commands on remote servers.

pyhkal

The legendary TiHKAL for everyone in py.

pyhkal2

IRC bot with bling bling

pyzmq-mdp

ØMQ-MDP implementation using pyzmq

rclist-rs

Rust library: `RcList` is read-only, append only list (log), that can share common tail (history) with other `RcList`-s.

reification-by-parametricity

Fast Setup for Proof by Reflection, in Two Lines of Ltac.

schema

Schema validation just got Pythonic