Giters
CUTE Language (CUTE-Lang)

CUTE Language

CUTE-Lang

Geek Repo

Language for Computer Utilization in Type-safe Environment

Github PK Tool:Github PK Tool

CUTE Language's repositories

miniCUTE

Basic compiler for a simpler version of CUTE Lang

Language:HaskellLicense:BSD-3-ClauseStargazers:9Issues:4Issues:50

CUTE-spec

Specification Documents for CUTE Lang

Language:CoqStargazers:3Issues:3Issues:0

CUTE-parser

Parser for CUTE Lang

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

CUTE-logo

Stargazers:0Issues:0Issues:0

docker-doxygen

Language:ShellStargazers:0Issues:2Issues:1

docker-stack

Language:ShellStargazers:0Issues:2Issues:3