Pinned Repositories
assert.sh
bash unit testing framework
atomic-charge
Bachelor-Thesis
Constructive Theory of Regular Languages
cardshuffle
Real-time Strategy Game simulation of enemy wizard parties
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
LoCL
Limits of Computational Learning
pyhkal
The legendary TiHKAL for everyone in py.
pyhkal2
IRC bot with bling bling
supernice
a small bash daemon to monitor cpu time usage by users and renice/ionice their processes accordingly
Janno's Repositories
Janno/atomic-charge
Janno/supernice
a small bash daemon to monitor cpu time usage by users and renice/ionice their processes accordingly
Janno/Bachelor-Thesis
Constructive Theory of Regular Languages
Janno/flup-py3.3
A Python 3.3 compatible clone of http://hg.saddi.com/flup-py3.0
Janno/LoCL
Limits of Computational Learning
Janno/add_transparency_example
Janno/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
Janno/agda-reglang
A formalization of regular languages in agda with a focus on making use of dependent types
Janno/agda-summer-school
Summer school on programming in Agda
Janno/autorandr
Auto-detect the connect display hardware and load the appropriate X11 setup using xrandr
Janno/BRiCk
Formalization of C++ for verification purposes.
Janno/collectd-lxc
Collectd metrics of lxc container
Janno/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.
Janno/coq-elpi
Coq plugin embedding elpi
Janno/coq-lens
Lenses in Coq
Janno/coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
Janno/kblocks
Python script to check the existence of kblocks in many, many graphs
Janno/koutack
A Solver for the koutack game. (game logic flawed... still collecting statistics regarding the merging priorities >_>)
Janno/ltac2-compiler-bug-repro
Janno/Mtac2
Janno/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Janno/openssh-wrapper
Python wrapper around OpenSSH client intended to execute commands on remote servers.
Janno/pyzmq-mdp
ØMQ-MDP implementation using pyzmq
Janno/rclist-rs
Rust library: `RcList` is read-only, append only list (log), that can share common tail (history) with other `RcList`-s.
Janno/reification-by-parametricity
Fast Setup for Proof by Reflection, in Two Lines of Ltac.
Janno/schema
Schema validation just got Pythonic
Janno/sx127x_lora
A platform-agnostic driver for Semtech SX1276/77/78/79 based boards.
Janno/TiddlyWiki5
A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.
Janno/unicoq
An enhanced unification algorithm for Coq
Janno/xsd2html2xml
Generates plain HTML5 forms from XML schemas (XSDs). Transforms filled-in forms into XML.