kubaneko

Ondřej Kubánek's repositories

Language:HaskellMIT000

Language:Haskell000

Language:C#000

Language:Python000

G-Machine implementation in C++

Language:C++010

A Logical Relation for Martin-Löf Type Theory in Agda

Language:AgdaNOASSERTION000

Hackage-Server: A Haskell Package Repository

Language:HaskellNOASSERTION000

Language:Haskell000

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptMIT000