Projects in Awesome Lists by casm-lang
A curated list of projects in awesome lists by casm-lang .
https://github.com/casm-lang/libcasm-ir
CASM Intermediate Representation and Optimization Passes
analysis casm intermediate-language intermediate-representation library optimization passes transformation
Last synced: 26 Apr 2025
https://github.com/casm-lang/libpass
Compiler Pass Infrastructure Facility
compiler cpp-library cpp11 framework infrastructure interpreter libpass pass
Last synced: 26 Feb 2025
https://github.com/casm-lang/libtptp
Thousands of Problems for Theorem Provers Library
automated cpp-library cpp11 libtptp proving theorem
Last synced: 13 Mar 2025
https://github.com/casm-lang/casmc
CASM Optimizing Retargetable Compiler
application casm compiler numeric-execution optimized
Last synced: 26 Feb 2025
https://github.com/casm-lang/casmi
CASM Numeric and Symbolic Interpreter
application casm interpreter numeric-execution symbolic-execution
Last synced: 26 Feb 2025
https://github.com/casm-lang/libcjel-ir
CJEL Intermediate Representation and Optimization Passes
analysis cjel intermediate-language intermediate-representation library optimization passes transformation
Last synced: 26 Feb 2025
https://github.com/casm-lang/casmf
CASM Source Code Format and Beautifier
application beautifier casm formatter
Last synced: 26 Feb 2025
https://github.com/casm-lang/libcjel-be
CJEL Back-end and Transformation Passes
backend c-language cjel javascript library llvm-ir model-to-text passes transformation vhdl
Last synced: 14 Mar 2025
https://github.com/casm-lang/libcasm-fe
CASM Front-end, AST Representation, Parser, and Typechecker
abstract-syntax-tree casm frontend library symbol-table type-inference
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.container.linux
Linux C++ Build Environment
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.plugin.vscode
CASM Plug-in for Language Server Protocol Extension in VS Code
casm language-server-protocol plugin vscode vscode-extension
Last synced: 26 Feb 2025
https://github.com/casm-lang/casmd
CASM Language Server/Service Daemon
casm daemon language-server-protocol language-service
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.plugin.kate
CASM Plug-in for Syntax Highlighting in Kate/KDevelop
casm kate kdevelop plugin syntax-highlighting
Last synced: 26 Feb 2025
https://github.com/casm-lang/libcasm-rt
CASM Run-Time Specification and Implementation
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.plugin.tmbundle
CASM Plug-in for Syntax Highlighting in Sublime/TextMate
casm plugin sublime syntax-highlighting textmate tmbundle
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.plugin.emacs
CASM Plug-in for Syntax Highlighting in Emacs
casm emacs plugin syntax-highlighting
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.container.windows
Windows C++ Build Environment
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.logo
CASM Logo, Banner, Slogan and Corporate Design
badge banner casm corporate-design icon logo slogan
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.plugin.monaco
CASM Plug-in for Language Server Protocol Extension in Monaco
casm language-server-protocol monaco monaco-extension plugin
Last synced: 26 Feb 2025
https://github.com/casm-lang/casm-lang.plugin.atom
CASM Plug-in for Language Server Protocol Extension in Atom
Last synced: 26 Feb 2025
https://github.com/casm-lang/libcasm-be
CASM Back-ends and Transformation Passes
backend casm csel library model-to-model model-to-text passes transformation
Last synced: 26 Feb 2025
https://github.com/casm-lang/libcasm-tc
CASM Unit/Integration Test Cases and Example Applications
benchmarks casm examples library test-cases
Last synced: 26 Feb 2025