Skip to content
@CUTE-Lang

CUTE Language

Language for Computer Utilization in Type-safe Environment

Pinned Loading

  1. miniCUTE Public

    Basic compiler for a simpler version of CUTE Lang

    Haskell 9 3

  2. docker-stack Public

    Shell

Repositories

Showing 6 of 6 repositories
  • miniCUTE Public

    Basic compiler for a simpler version of CUTE Lang

    Haskell 9 BSD-3-Clause 3 16 0 Updated May 21, 2021
  • docker-stack Public
    Shell 0 0 0 0 Updated May 8, 2020
  • CUTE-logo Public
    0 0 0 0 Updated Feb 9, 2020
  • Shell 0 0 1 0 Updated Nov 27, 2019
  • CUTE-parser Public archive

    Parser for CUTE Lang

    Haskell 2 BSD-3-Clause 1 0 0 Updated Apr 27, 2018
  • CUTE-spec Public archive

    Specification Documents for CUTE Lang

    Coq 3 1 0 0 Updated Jan 16, 2017