CUTE Language

Language for Computer Utilization in Type-safe Environment

Pinned Repositories

CUTE-logo
00
CUTE-parser
Parser for CUTE Lang
Language:Haskell2 3 01
CUTE-spec
Specification Documents for CUTE Lang
Language:Coq3 3 01
docker-doxygen
Language:Shell0 2 10
docker-stack
Language:Shell0 2 30
miniCUTE
Basic compiler for a simpler version of CUTE Lang
Language:Haskell9 4 503

CUTE Language's Repositories

CUTE-Lang/miniCUTE
Basic compiler for a simpler version of CUTE Lang
Language:Haskell9 4 503
CUTE-Lang/CUTE-spec
Specification Documents for CUTE Lang
Language:Coq3 3 01
CUTE-Lang/CUTE-parser
Parser for CUTE Lang
Language:Haskell2 3 01
CUTE-Lang/CUTE-logo
00
CUTE-Lang/docker-doxygen
Language:Shell0 2 10
CUTE-Lang/docker-stack
Language:Shell0 2 30