CASM

Corinthian Abstract State Machine

Verified
We've verified that the organizationcasm-lang controls the domain:
- casm-lang.org
Learn more about verified organizations

PinnedLoading

libcasm-felibcasm-fePublic archive
CASM Front-end, AST Representation, Parser, and Typechecker
C++
casmicasmiPublic archive
CASM Numeric and Symbolic Interpreter
C++ 1
libcasm-tclibcasm-tcPublic archive
CASM Unit/Integration Test Cases and Example Applications
C++
libpasslibpassPublic 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
HTML00 0 0 UpdatedMar 2, 2025
casm-lang.container.windows Public archive
Windows C++ Build Environment
casm-lang/casm-lang.container.windows’s past year of commit activity
Dockerfile00 0 0 UpdatedMar 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
Makefile00 0 0 UpdatedMar 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
00 0 0 UpdatedMar 2, 2025
casm-lang.container.linux Public archive
Linux C++ Build Environment
casm-lang/casm-lang.container.linux’s past year of commit activity
Dockerfile0 2 0 0 UpdatedMar 2, 2025
libpass Public archive
Compiler Pass Infrastructure Facility
casm-lang/libpass’s past year of commit activity
C++ 20 0 0 UpdatedMar 2, 2025
libtptp Public archive
Thousands of Problems for Theorem Provers Library
casm-lang/libtptp’s past year of commit activity
C++ 10 0 0 UpdatedMar 2, 2025
libcjel-rt Public archive
CJEL Run-Time Implementation
casm-lang/libcjel-rt’s past year of commit activity
C++00 0 0 UpdatedMar 2, 2025
libcjel-ir Public archive
CJEL Intermediate Representation and Optimization Passes
casm-lang/libcjel-ir’s past year of commit activity
C++ 1 1 0 0 UpdatedMar 2, 2025
libcjel-be Public archive
CJEL Back-end and Transformation Passes
casm-lang/libcjel-be’s past year of commit activity
C++00 0 0 UpdatedMar 2, 2025