CUTE-Lang/miniCUTE

Basic compiler for a simpler version of CUTE Lang

Language: Haskell - Size: 1.16 MB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 3

CUTE-Lang/CUTE-spec 📦

Specification Documents for CUTE Lang

Language: Coq - Size: 711 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 1

CUTE-Lang/CUTE-parser 📦

Parser for CUTE Lang

Language: Haskell - Size: 37.1 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

CUTE-Lang/docker-stack

Language: Shell - Size: 12.7 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

CUTE-Lang/CUTE-logo

Size: 208 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

CUTE-Lang/docker-doxygen

Language: Shell - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0