CASM

Corinthian Abstract State Machine

Vienna, Austria

Pinned Repositories

casmc
CASM Optimizing Retargetable Compiler
Language:CMake1 1 00
casmi
CASM Numeric and Symbolic Interpreter
Language:C++1 7 00
fork.flathub
Pull requests for new applications to be added
0 2 00
libasmjit
Complete x86/x64 JIT and Remote Assembler for C++
Language:C++0 2 00
libcasm-fe
CASM Front-end, AST Representation, Parser, and Typechecker
Language:C++0 6 00
libcasm-ir
CASM Intermediate Representation and Optimization Passes
Language:C++4 5 00
libcasm-tc
CASM Unit/Integration Test Cases and Example Applications
Language:C++0 5 00
libcjel-be
CJEL Back-end and Transformation Passes
Language:C++0 1 00
libpass
Compiler Pass Infrastructure Facility
Language:C++2 2 00
libtptp
Thousands of Problems for Theorem Provers Library
Language:C++1 3 00

CASM's Repositories

casm-lang/libcasm-ir
CASM Intermediate Representation and Optimization Passes
Language:C++4 5 00
casm-lang/libpass
Compiler Pass Infrastructure Facility
Language:C++2 2 00
casm-lang/casmc
CASM Optimizing Retargetable Compiler
Language:CMake1 1 00
casm-lang/casmi
CASM Numeric and Symbolic Interpreter
Language:C++1 7 00
casm-lang/libcasm-be
CASM Back-ends and Transformation Passes
Language:C++1 1 0
casm-lang/libcjel-ir
CJEL Intermediate Representation and Optimization Passes
Language:C++1 1 01
casm-lang/libtptp
Thousands of Problems for Theorem Provers Library
Language:C++1 3 00
casm-lang/libasmjit
Complete x86/x64 JIT and Remote Assembler for C++
Language:C++0 2 00
casm-lang/libcasm-fe
CASM Front-end, AST Representation, Parser, and Typechecker
Language:C++0 6 00
casm-lang/libcasm-tc
CASM Unit/Integration Test Cases and Example Applications
Language:C++0 5 00
casm-lang/libcjel-be
CJEL Back-end and Transformation Passes
Language:C++0 1 00
casm-lang/publication
CASM Publications
0 2 00
casm-lang/casm-lang.container.linux
Linux C++ Build Environment
Language:Dockerfile2 02
casm-lang/casm-lang.container.windows
Windows C++ Build Environment
Language:Dockerfile2 0
casm-lang/casm-lang.logo
CASM Logo, Banner, Slogan and Corporate Design
Language:Makefile3 0
casm-lang/casm-lang.pkg.appimage
CASM AppImage Linux Package Configuration, deployed to
Language:Shell2 0
casm-lang/casm-lang.pkg.archlinux
CASM Arch Linux Package Configuration, mirrored to
Language:Shell2 0
casm-lang/casm-lang.pkg.docker
CASM Docker Package Configuration, deployed to
Language:Dockerfile2 0
casm-lang/casm-lang.pkg.flatpak
CASM FlatPak Linux Package Configuration
Language:Makefile2 0
casm-lang/casm-lang.plugin.atom
CASM Plug-in for Language Server Protocol Extension in Atom
1 0
casm-lang/casm-lang.plugin.emacs
CASM Plug-in for Syntax Highlighting in Emacs
Language:Emacs Lisp3 0
casm-lang/casm-lang.plugin.kate
CASM Plug-in for Syntax Highlighting in Kate/KDevelop
3 0
casm-lang/casm-lang.plugin.monaco
CASM Plug-in for Language Server Protocol Extension in Monaco
Language:TypeScript4 0
casm-lang/casm-lang.plugin.tmbundle
CASM Plug-in for Syntax Highlighting in Sublime/TextMate
3 0
casm-lang/casm-lang.plugin.vscode
CASM Plug-in for Language Server Protocol Extension in VS Code
Language:TypeScript3 0
casm-lang/casmd
CASM Language Server/Service Daemon
Language:C++5 0
casm-lang/casmf
CASM Source Code Format and Beautifier
Language:CMake2 0
casm-lang/libcasm-rt
CASM Run-Time Specification and Implementation
Language:C++1 0
casm-lang/libcjel-rt
CJEL Run-Time Implementation
Language:C++1 0
casm-lang/libz3
The Z3 Theorem Prover
Language:C++