andorp

Andor Penzes's repositories

Air (Albérlet Irányítási Rendszer) aka Flat Accounting System

Language:HaskellBSD-3-Clause100

File storage backend for the Haskell persistent package.

Language:HaskellBSD-3-Clause100

Language:HaskellGPL-3.0100

Simple Framework for creating reactive programming examples based on the How to Design Programs book

Language:Haskell100

Simple Ass to Srt subtitle converter

Language:Haskell100

Simple Testing Framework, for Interactive and Unit testing

Language:HaskellBSD-3-Clause100

Summer school on programming in Agda

Language:Agda000

A formalization of category theory in Coq for personal study

Language:Coq000

Language:AgdaGPL-2.0000

Quickcheck clone JAVA based random testing framework

Language:JavaApache-2.0030