Pinned Repositories
gubs
constraint solver for polynomial inequalities
homepage
My Homepage
hosa
Higher-Order Size Analysis
master-info
The website of the MSc Computer Science at UCA built upon »Feeling Responsive«, a free flexible theme for Jekyll built on Foundation framework.
monad-trace
Monad for recording execution traces
parfold
Small Concurrent Programming Utility for Haskell
qlogic
Propositional Logic Library for Haskell
scion
IDE library for Haskell based on the GHC API.
TcT
Complexity Analyser for Term Rewriting Systems
termlib
Term Rewriting Library
mzini's Repositories
mzini/hosa
Higher-Order Size Analysis
mzini/TcT
Complexity Analyser for Term Rewriting Systems
mzini/gubs
constraint solver for polynomial inequalities
mzini/qlogic
Propositional Logic Library for Haskell
mzini/termlib
Term Rewriting Library
mzini/homepage
My Homepage
mzini/master-info
The website of the MSc Computer Science at UCA built upon »Feeling Responsive«, a free flexible theme for Jekyll built on Foundation framework.
mzini/monad-trace
Monad for recording execution traces
mzini/parfold
Small Concurrent Programming Utility for Haskell
mzini/scion
IDE library for Haskell based on the GHC API.
mzini/tct-homepage