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"
- inversion-plugin Public
- curry-tools Public
Tools for Curry that are used in PAKCS and KiCS2 (CPM and Boolean equality optimizer)
- ml-ghc-language-plugin Public
- curry-ghc-language-plugin Public
Top languages
Loading…
Most used topics
Loading…