Programming Languages and Compiler Construction Group
Popular repositories Loading
Repositories
Showing 10 of 14 repositories
- rocq-ndtypes Public
The Rocq formalization for the paper "Determinism Types for Functional Logic Programming"
cau-placc/rocq-ndtypes’s past year of commit activity - curry-tools Public
Tools for Curry that are used in PAKCS and KiCS2 (CPM and Boolean equality optimizer)
cau-placc/curry-tools’s past year of commit activity - inversion-plugin Public
cau-placc/inversion-plugin’s past year of commit activity - ml-ghc-language-plugin Public
cau-placc/ml-ghc-language-plugin’s past year of commit activity - curry-ghc-language-plugin Public
cau-placc/curry-ghc-language-plugin’s past year of commit activity
Most used topics
Loading…