wjzz/Coq-Developers-Manual
Additional documentation for the developers of Coq
Discovered public repositories for wjzz in the GitHub catalog.
Additional documentation for the developers of Coq
A plugin for Coq to add dependent pattern-matching.
Example Coq plugin
A simple demonstration of the Agda Reflection API
Notes I like to create while learning and experimenting
Public repository.
A collection of mostly unrelated Agda programs which I found interesting in some way.
A journey to the land where space leaks don't bite functional programmers
A ype safe and certified implmentation of a TicTacToe API in Agda inspired by a blog post by Tony Morris
Some simple tools for agda-mode to make programming in Agda even more enjoyable.
A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski
Public repository.
My collection of rather simple, but useful theorems about basic Agda data types
A program for generating statistics about a large collection of go games
A formalization of the pumping lemma for regular languages in Coq
Examples of incomplete sets in propositional calculus in Coq
A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.
A web-based japanese dictionary with lots of example sentences
Projekt na Bazy danych 2009/2010