Skip to content
@casm-lang

CASM

Corinthian Abstract State Machine

Pinned Loading

  1. libcasm-fe Public archive

    CASM Front-end, AST Representation, Parser, and Typechecker

    C++

  2. casmi Public archive

    CASM Numeric and Symbolic Interpreter

    C++ 1

  3. libcasm-tc Public archive

    CASM Unit/Integration Test Cases and Example Applications

    C++

  4. libpass Public archive

    Compiler Pass Infrastructure Facility

    C++ 2

Repositories

Showing 10 of 32 repositories
  • casm-lang.github.io Public archive

    CASM Website

    HTML 0 0 0 0 Updated Mar 2, 2025
  • casm-lang.container.windows Public archive

    Windows C++ Build Environment

    Dockerfile 0 0 0 0 Updated Mar 2, 2025
  • casm-lang.logo Public archive

    CASM Logo, Banner, Slogan and Corporate Design

    Makefile 0 0 0 0 Updated Mar 2, 2025
  • casm-lang.plugin.atom Public archive

    CASM Plug-in for Language Server Protocol Extension in Atom

    0 0 0 0 Updated Mar 2, 2025
  • casm-lang.container.linux Public archive

    Linux C++ Build Environment

    Dockerfile 0 2 0 0 Updated Mar 2, 2025
  • libpass Public archive

    Compiler Pass Infrastructure Facility

    C++ 2 0 0 0 Updated Mar 2, 2025
  • libtptp Public archive

    Thousands of Problems for Theorem Provers Library

    C++ 1 0 0 0 Updated Mar 2, 2025
  • libcjel-rt Public archive

    CJEL Run-Time Implementation

    C++ 0 0 0 0 Updated Mar 2, 2025
  • libcjel-ir Public archive

    CJEL Intermediate Representation and Optimization Passes

    C++ 1 1 0 0 Updated Mar 2, 2025
  • libcjel-be Public archive

    CJEL Back-end and Transformation Passes

    C++ 0 0 0 0 Updated Mar 2, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…