cmaeder

Pinned Repositories

parsec1
Portable monadic parser combinators
Language:Haskell10
rcl2000
Role-Based Constraints Language 2000
Language:Haskell00
glade
Language:Haskell2 6 53
LeoPARD
Leo's Parallal ARchitecture & Datastructures (LeoPARD)
Language:Scala6 7 00
Legacy-localmh
DEPRECATED - A cross-repository administration tool for the local authoring in MathHub.info
Language:Python10
sTeX
A semantic Extension of TeX/LaTeX
Language:TeX50 6 3769
Hets
The Heterogeneous Tool Set
Language:Haskell57 21 1.8k19
Hets-lib
Basic libraries and other examples
Language:Isabelle2 13 12
uni
Language:Haskell0 1 00

cmaeder's Repositories

cmaeder/parsec1
Portable monadic parser combinators
Language:Haskell10
cmaeder/rcl2000
Role-Based Constraints Language 2000
Language:Haskell00