KlaraMar

Pinned Repositories

implicits
Language:TeX10
GraphDSL
A DSL for CLDs
Language:Haskell4 11 00
haskelzinc
Constraint programming in Haskell through MiniZinc
Language:Haskell8 13 07
QPN
A home for QPNModeler
Language:Haskell0 7 00
KlaraMar.github.io
Language:HTML0 1 00
hott-exc
Language:Agda0 7 10