Pinned Repositories
curry-ghc-language-plugin
curry-monad
ghc-language-plugin
haskell-src-transformation
Transforms Haskell sources with definitions using pattern matching to case-expressions
icfpcontest2020
inversion-plugin
julia-curry
A compiler from Curry programs into Julia programs
ml-ghc-language-plugin
moduledb
The module database of the department of computer science of Kiel University
pakcs
PAKCS: The Portland Aachen Kiel Curry system
Programming Languages and Compiler Construction Group's Repositories
cau-placc/inversion-plugin
cau-placc/ghc-language-plugin
cau-placc/pakcs
PAKCS: The Portland Aachen Kiel Curry system
cau-placc/julia-curry
A compiler from Curry programs into Julia programs
cau-placc/curry-monad
cau-placc/curry-ghc-language-plugin
cau-placc/haskell-src-transformation
Transforms Haskell sources with definitions using pattern matching to case-expressions
cau-placc/icfpcontest2020
cau-placc/ml-ghc-language-plugin
cau-placc/moduledb
The module database of the department of computer science of Kiel University