Giters
CASM (casm-lang)

CASM

casm-lang

Geek Repo

Corinthian Abstract State Machine

Location:Vienna, Austria

Home Page:https://casm-lang.org

Github PK Tool:Github PK Tool

CASM's repositories

libcasm-ir

CASM Intermediate Representation and Optimization Passes

Language:C++License:NOASSERTIONStargazers:4Issues:5Issues:0

libpass

Compiler Pass Infrastructure Facility

Language:C++License:NOASSERTIONStargazers:2Issues:2Issues:0

casmc

CASM Optimizing Retargetable Compiler

Language:CMakeLicense:NOASSERTIONStargazers:1Issues:1Issues:0

casmi

CASM Numeric and Symbolic Interpreter

Language:C++License:NOASSERTIONStargazers:1Issues:7Issues:0

libcasm-be

CASM Back-ends and Transformation Passes

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

libcjel-ir

CJEL Intermediate Representation and Optimization Passes

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

libtptp

Thousands of Problems for Theorem Provers Library

Language:C++License:NOASSERTIONStargazers:1Issues:3Issues:0

libasmjit

Complete x86/x64 JIT and Remote Assembler for C++

Language:C++License:ZlibStargazers:0Issues:2Issues:0

libcasm-fe

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

Language:C++License:NOASSERTIONStargazers:0Issues:6Issues:0

libcasm-tc

CASM Unit/Integration Test Cases and Example Applications

Language:C++License:NOASSERTIONStargazers:0Issues:5Issues:0

libcjel-be

CJEL Back-end and Transformation Passes

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

publication

CASM Publications

License:NOASSERTIONStargazers:0Issues:2Issues:0

casm-lang.container.linux

Linux C++ Build Environment

Language:DockerfileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

casm-lang.container.windows

Windows C++ Build Environment

Language:DockerfileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

casm-lang.logo

CASM Logo, Banner, Slogan and Corporate Design

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:3Issues:0

casm-lang.pkg.appimage

CASM AppImage Linux Package Configuration, deployed to

Language:ShellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

casm-lang.pkg.archlinux

CASM Arch Linux Package Configuration, mirrored to

Language:ShellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

casm-lang.pkg.docker

CASM Docker Package Configuration, deployed to

Language:DockerfileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

casm-lang.pkg.flatpak

CASM FlatPak Linux Package Configuration

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

casm-lang.plugin.atom

CASM Plug-in for Language Server Protocol Extension in Atom

License:NOASSERTIONStargazers:0Issues:1Issues:0

casm-lang.plugin.emacs

CASM Plug-in for Syntax Highlighting in Emacs

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:3Issues:0

casm-lang.plugin.kate

CASM Plug-in for Syntax Highlighting in Kate/KDevelop

License:NOASSERTIONStargazers:0Issues:3Issues:0

casm-lang.plugin.monaco

CASM Plug-in for Language Server Protocol Extension in Monaco

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:4Issues:0

casm-lang.plugin.tmbundle

CASM Plug-in for Syntax Highlighting in Sublime/TextMate

License:NOASSERTIONStargazers:0Issues:3Issues:0

casm-lang.plugin.vscode

CASM Plug-in for Language Server Protocol Extension in VS Code

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:3Issues:0

casmd

CASM Language Server/Service Daemon

Language:C++License:NOASSERTIONStargazers:0Issues:5Issues:0

casmf

CASM Source Code Format and Beautifier

Language:CMakeLicense:NOASSERTIONStargazers:0Issues:2Issues:0

libcasm-rt

CASM Run-Time Specification and Implementation

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

libcjel-rt

CJEL Run-Time Implementation

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

libz3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0