Skip to content
@casm-lang

CASM

Corinthian Abstract State Machine

Pinned Loading

  1. libcasm-fe libcasm-fe Public archive

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

    C++

  2. casmi casmi Public archive

    CASM Numeric and Symbolic Interpreter

    C++ 1

  3. libcasm-tc libcasm-tc Public archive

    CASM Unit/Integration Test Cases and Example Applications

    C++

  4. libpass libpass Public archive

    Compiler Pass Infrastructure Facility

    C++ 2

Repositories

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

    CASM Website

    casm-lang/casm-lang.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 2, 2025
  • casm-lang.container.windows Public archive

    Windows C++ Build Environment

    casm-lang/casm-lang.container.windows’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Mar 2, 2025
  • casm-lang.logo Public archive

    CASM Logo, Banner, Slogan and Corporate Design

    casm-lang/casm-lang.logo’s past year of commit activity
    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

    casm-lang/casm-lang.plugin.atom’s past year of commit activity
    0 0 0 0 Updated Mar 2, 2025
  • casm-lang.container.linux Public archive

    Linux C++ Build Environment

    casm-lang/casm-lang.container.linux’s past year of commit activity
    Dockerfile 0 2 0 0 Updated Mar 2, 2025
  • libpass Public archive

    Compiler Pass Infrastructure Facility

    casm-lang/libpass’s past year of commit activity
    C++ 2 0 0 0 Updated Mar 2, 2025
  • libtptp Public archive

    Thousands of Problems for Theorem Provers Library

    casm-lang/libtptp’s past year of commit activity
    C++ 1 0 0 0 Updated Mar 2, 2025
  • libcjel-rt Public archive

    CJEL Run-Time Implementation

    casm-lang/libcjel-rt’s past year of commit activity
    C++ 0 0 0 0 Updated Mar 2, 2025
  • libcjel-ir Public archive

    CJEL Intermediate Representation and Optimization Passes

    casm-lang/libcjel-ir’s past year of commit activity
    C++ 0 1 0 0 Updated Mar 2, 2025
  • libcjel-be Public archive

    CJEL Back-end and Transformation Passes

    casm-lang/libcjel-be’s past year of commit activity
    C++ 0 0 0 0 Updated Mar 2, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…