CASM

All

35 repositories

casm-lang.pkg.flatpak
Public
CASM FlatPak Linux Package Configuration
linux package x86-64 flatpak casm
Makefile
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casm-lang.pkg.docker
Public
CASM Docker Package Configuration, deployed to
linux docker package x86-64 casm
Dockerfile
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casm-lang.pkg.archlinux
Public
CASM Arch Linux Package Configuration, mirrored to
linux package aur x86-64 pkgbuild casm
Shell
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casm-lang.pkg.appimage
Public
CASM AppImage Linux Package Configuration, deployed to
linux package x86-64 appimage casm
Shell
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casm-lang.plugin.vscode
Public
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 Jan 29, 2024Jan 29, 2024
casm-lang.plugin.tmbundle
Public
CASM Plug-in for Syntax Highlighting in Sublime/TextMate
plugin syntax-highlighting sublime textmate tmbundle casm
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casm-lang.plugin.monaco
Public
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 Jan 29, 2024Jan 29, 2024
casm-lang.plugin.kate
Public
CASM Plug-in for Syntax Highlighting in Kate/KDevelop
plugin syntax-highlighting kate kdevelop casm
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casm-lang.plugin.emacs
Public
CASM Plug-in for Syntax Highlighting in Emacs
plugin syntax-highlighting emacs casm
Emacs Lisp
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casmi
Public
CASM Numeric and Symbolic Interpreter
application interpreter symbolic-execution casm numeric-execution
C++
•
Other
•0•1•0•0•Updated Jan 29, 2024Jan 29, 2024
casmf
Public
CASM Source Code Format and Beautifier
application formatter beautifier casm
CMake
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casmd
Public
CASM Language Server/Service Daemon
daemon language-server-protocol language-service casm
C++
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
casmc
Public
CASM Optimizing Retargetable Compiler
application compiler optimized casm numeric-execution
CMake
•
Other
•0•1•0•0•Updated Jan 29, 2024Jan 29, 2024
libcasm-be
Public
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 Jan 29, 2024Jan 29, 2024
libcasm-fe
Public
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 Jan 29, 2024Jan 29, 2024
libcasm-ir
Public
CASM Intermediate Representation and Optimization Passes
library analysis optimization transformation intermediate-representation casm intermediate-language passes
C++
•
Other
•0•4•0•0•Updated Jan 29, 2024Jan 29, 2024
libcasm-rt
Public
CASM Run-Time Specification and Implementation
library casm run-time
C++
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
libcasm-tc
Public
CASM Unit/Integration Test Cases and Example Applications
test-cases library examples benchmarks casm
C++
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
libcjel-be
Public
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 Jan 29, 2024Jan 29, 2024
libcjel-ir
Public
CJEL Intermediate Representation and Optimization Passes
library analysis optimization transformation intermediate-representation intermediate-language passes cjel
C++
•
Other
•1•0•0•0•Updated Jan 29, 2024Jan 29, 2024
libcjel-rt
Public
CJEL Run-Time Implementation
library run-time cjel
C++
•
Other
•0•0•0•0•Updated Jan 29, 2024Jan 29, 2024
libtptp
Public
Thousands of Problems for Theorem Provers Library
cpp11 automated cpp-library theorem libtptp proving
C++
•
Other
•0•1•0•0•Updated Jan 29, 2024Jan 29, 2024
libpass
Public
Compiler Pass Infrastructure Facility
infrastructure framework interpreter compiler cpp11 pass cpp-library libpass
C++
•
Other
•0•2•0•0•Updated Jan 29, 2024Jan 29, 2024
casm-lang.container.linux
Public
Linux C++ Build Environment
Dockerfile
•
Other
•2•0•0•0•Updated Nov 30, 2022Nov 30, 2022
casm-lang.plugin.atom
Public
CASM Plug-in for Language Server Protocol Extension in Atom
Other
•0•0•0•0•Updated Apr 1, 2022Apr 1, 2022
publication
Public
CASM Publications
Other
•0•0•0•0•Updated Jan 2, 2022Jan 2, 2022
casm-lang.logo
Public
CASM Logo, Banner, Slogan and Corporate Design
banner badge icon logo casm slogan corporate-design
Makefile
•
Other
•0•0•0•0•Updated Jan 2, 2022Jan 2, 2022
casm-lang.container.windows
Public
Windows C++ Build Environment
Dockerfile
•
Other
•0•0•0•0•Updated Jan 2, 2022Jan 2, 2022
libz3
Public
The Z3 Theorem Prover
C++
•
Other
•1.5k•0•0•0•Updated Jul 20, 2021Jul 20, 2021
libasmjit
Public
Complete x86/x64 JIT and Remote Assembler for C++
C++
•
zlib License
•502•0•0•0•Updated Jun 25, 2021Jun 25, 2021