ichistmeinname/KiCS2-Mock
Mock-up for KiCS2 runtime environment
Developer Profile
ichistmeinname
Discovered public repositories for ichistmeinname in the GitHub catalog.
ichistmeinname/ProbabilisticProgramming
Public repository.
ichistmeinname/curry-links
Useful links with regard to Curry
ichistmeinname/Puzzles
Constraint Modelling in Curry
ichistmeinname/Curry-Lenses
Master's thesis
ichistmeinname/Fay-Extras
Outsourcing for regulary used fay functions.
ichistmeinname/heroku-buildpack-haskell
Heroku buildpack for Haskell
ichistmeinname/TestHeroku
Public repository.
ichistmeinname/Comunio
Haskell module to collect my comunio line up data via html parsing.
ichistmeinname/Currygle
An API search engine for Curry
ichistmeinname/BDD-SoSe2012
Public repository.