dzyr

ZIEGEMEYER ConsultingGermany

Pinned Repositories

mercury-csv
A Mercury CSV library.
Language:Mercury0 2 00
mercury-xml
Parse XML streams as events with Mercury Programming Language
Language:Mercury4 3 01
metacoq
Metaprogramming in Coq
Language:Coq0 0 00
so-simple-theme
A simple and clean responsive Jekyll theme for words and photos.
Language:JavaScript0 2 00
mercury-csv
A Mercury CSV library.
Language:Mercury11 4 03
so-simple-theme
A simple Jekyll theme for words and pictures.
Language:SCSS2.1k 38 1992.5k

dzyr's Repositories

dzyr/mercury-xml
Parse XML streams as events with Mercury Programming Language
Language:Mercury4 3 01
dzyr/mercury-csv
A Mercury CSV library.
Language:Mercury0 2 00
dzyr/metacoq
Metaprogramming in Coq
Language:Coq0 0 00
dzyr/so-simple-theme
A simple and clean responsive Jekyll theme for words and photos.
Language:JavaScript0 2 00