CASM

All

32 repositories

casm-lang.github.io
Public archive
CASM Website
website casm
HTML
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.container.windows
Public archive
Windows C++ Build Environment
Dockerfile
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.logo
Public archive
CASM Logo, Banner, Slogan and Corporate Design
banner badge icon logo casm slogan corporate-design
Makefile
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.plugin.atom
Public archive
CASM Plug-in for Language Server Protocol Extension in Atom
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.container.linux
Public archive
Linux C++ Build Environment
Dockerfile
•
Other
•2•0•0•0•Updated Mar 2, 2025Mar 2, 2025
libpass
Public archive
Compiler Pass Infrastructure Facility
infrastructure framework interpreter compiler cpp11 pass cpp-library libpass
C++
•
Other
•0•2•0•0•Updated Mar 2, 2025Mar 2, 2025
libtptp
Public archive
Thousands of Problems for Theorem Provers Library
cpp11 automated cpp-library theorem libtptp proving
C++
•
Other
•0•1•0•0•Updated Mar 2, 2025Mar 2, 2025
libcjel-rt
Public archive
CJEL Run-Time Implementation
library run-time cjel
C++
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
libcjel-ir
Public archive
CJEL Intermediate Representation and Optimization Passes
library analysis optimization transformation intermediate-representation intermediate-language passes cjel
C++
•
Other
•1•1•0•0•Updated Mar 2, 2025Mar 2, 2025
libcjel-be
Public archive
CJEL Back-end and Transformation Passes
javascript library backend vhdl transformation c-language llvm-ir passes model-to-text cjel
C++
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
libcasm-tc
Public archive
CASM Unit/Integration Test Cases and Example Applications
test-cases library examples benchmarks casm
C++
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
libcasm-rt
Public archive
CASM Run-Time Specification and Implementation
library casm run-time
C++
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
libcasm-ir
Public archive
CASM Intermediate Representation and Optimization Passes
library analysis optimization transformation intermediate-representation casm intermediate-language passes
C++
•
Other
•0•4•0•0•Updated Mar 2, 2025Mar 2, 2025
libcasm-fe
Public archive
CASM Front-end, AST Representation, Parser, and Typechecker
library frontend symbol-table type-inference casm abstract-syntax-tree
C++
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
libcasm-be
Public archive
CASM Back-ends and Transformation Passes
library backend transformation casm model-to-model passes csel model-to-text
C++
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.plugin.emacs
Public archive
CASM Plug-in for Syntax Highlighting in Emacs
plugin syntax-highlighting emacs casm
Emacs Lisp
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.plugin.kate
Public archive
CASM Plug-in for Syntax Highlighting in Kate/KDevelop
plugin syntax-highlighting kate kdevelop casm
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.plugin.monaco
Public archive
CASM Plug-in for Language Server Protocol Extension in Monaco
plugin language-server-protocol monaco casm monaco-extension
TypeScript
•
Other
•0•0•0•11•Updated Mar 2, 2025Mar 2, 2025
casm-lang.plugin.tmbundle
Public archive
CASM Plug-in for Syntax Highlighting in Sublime/TextMate
plugin syntax-highlighting sublime textmate tmbundle casm
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.plugin.vscode
Public archive
CASM Plug-in for Language Server Protocol Extension in VS Code
plugin vscode language-server-protocol vscode-extension casm
TypeScript
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.pkg.appimage
Public archive
CASM AppImage Linux Package Configuration, deployed to
linux package x86-64 appimage casm
Shell
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.pkg.archlinux
Public archive
CASM Arch Linux Package Configuration, mirrored to
linux package aur x86-64 pkgbuild casm
Shell
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.pkg.docker
Public archive
CASM Docker Package Configuration, deployed to
linux docker package x86-64 casm
Dockerfile
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casm-lang.pkg.flatpak
Public archive
CASM FlatPak Linux Package Configuration
linux package x86-64 flatpak casm
Makefile
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casmf
Public archive
CASM Source Code Format and Beautifier
application formatter beautifier casm
CMake
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casmd
Public archive
CASM Language Server/Service Daemon
daemon language-server-protocol language-service casm
C++
•
Other
•0•0•0•0•Updated Mar 2, 2025Mar 2, 2025
casmi
Public archive
CASM Numeric and Symbolic Interpreter
application interpreter symbolic-execution casm numeric-execution
C++
•
Other
•0•1•0•0•Updated Mar 2, 2025Mar 2, 2025
casmc
Public archive
CASM Optimizing Retargetable Compiler
application compiler optimized casm numeric-execution
CMake
•
Other
•0•1•0•0•Updated Mar 2, 2025Mar 2, 2025
libz3
Public archive
The Z3 Theorem Prover
C++
•
Other
•1.5k•0•0•0•Updated Jul 20, 2021Jul 20, 2021
libasmjit
Public archive
Complete x86/x64 JIT and Remote Assembler for C++
C++
•
zlib License
•520•0•0•0•Updated Jun 25, 2021Jun 25, 2021