ziman Goto Github PK

agda-stuff

An assortment of small Agda developments

anamovie

Create anaglyph movies from stereomovies

apes

Conversion from flat data to adjacency list

baltrad-merge

Convert raw Baltrad data to bird profiles

bang-cheatsheet

bibdris

BibTeX database management in Idris

blodwen

buslittles

Watch subtitles on laptop while film is playing on TV

cayenne

Resurrecting Lennart Augustsson's implementation of Cayenne

cpython

The Python programming language

deconvolution

A deconvolution algorithm

dictpress

Preprocess wordlists before compression

diffcat

Write images, skipping identical blocks

dosbox

A mirror of the DosBox SVN repository, including some patches of mine

ecomp

A simple certified expression compiler (Coq)

ever-to-excel

Compile a Scheme-like language into a spreadsheet

excomp

A certified compiler of exceptions from my thesis (Agda)

gcd

Euclidean algorithm, formally verified, provably correct

ggplot

ggplot for python

globusator

Globe stripe generator

hackup

Backup system written in Haskell

hilite

Terminal output highlighter

http-conduit-downloader

HTTP downloader tailored for web-crawler needs

idris

A Dependently Typed Functional Programming Language

idris-benchmarks

Some benchmarks for Idris

idris-bytes

FFI-based byte buffers for Idris

idris-data-frame

Data frames for Idris 2

idris-ocaml

OCaml back end for Idris

idris-py

Python backend for Idris (generates Python source, not bytecode).

idris-scheme

Scheme codegen for Idris