GitHub / casm-lang 37 Repositories
Corinthian Abstract State Machine
casm-lang/libtptp 📦
Thousands of Problems for Theorem Provers Library
Language: C++ - Size: 1.58 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
casm-lang/libcjel-be 📦
CJEL Back-end and Transformation Passes
Language: C++ - Size: 192 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
casm-lang/libcasm-ir 📦
CASM Intermediate Representation and Optimization Passes
Language: C++ - Size: 2.06 MB - Last synced at: about 9 hours ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0
casm-lang/libpass
Compiler Pass Infrastructure Facility
Language: C++ - Size: 527 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
casm-lang/libgtest Fork of google/googletest
Google Test C++ Unit Test Framework Library
Language: C++ - Size: 4.67 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
casm-lang/libz3 Fork of Z3Prover/z3
The Z3 Theorem Prover
Language: C++ - Size: 109 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
casm-lang/fork.flathub Fork of flathub/flathub
Pull requests for new applications to be added
Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
casm-lang/libasmjit Fork of asmjit/asmjit
Complete x86/x64 JIT and Remote Assembler for C++
Language: C++ - Size: 6.15 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.pkg.docker
CASM Docker Package Configuration, deployed to
Language: Dockerfile - Size: 53.7 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.pkg.appimage
CASM AppImage Linux Package Configuration, deployed to
Language: Shell - Size: 46.9 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.pkg.flatpak
CASM FlatPak Linux Package Configuration
Language: Makefile - Size: 44.9 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.pkg.archlinux
CASM Arch Linux Package Configuration, mirrored to
Language: Shell - Size: 52.7 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.plugin.vscode
CASM Plug-in for Language Server Protocol Extension in VS Code
Language: TypeScript - Size: 85.9 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.plugin.monaco
CASM Plug-in for Language Server Protocol Extension in Monaco
Language: TypeScript - Size: 804 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casmd
CASM Language Server/Service Daemon
Language: C++ - Size: 259 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.plugin.emacs
CASM Plug-in for Syntax Highlighting in Emacs
Language: Emacs Lisp - Size: 33.2 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/libcjel-rt
CJEL Run-Time Implementation
Language: C++ - Size: 174 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casmf
CASM Source Code Format and Beautifier
Language: CMake - Size: 240 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.plugin.tmbundle
CASM Plug-in for Syntax Highlighting in Sublime/TextMate
Size: 16.6 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.plugin.kate
CASM Plug-in for Syntax Highlighting in Kate/KDevelop
Size: 42 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/libcasm-tc
CASM Unit/Integration Test Cases and Example Applications
Language: C++ - Size: 3.13 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/libcjel-ir
CJEL Intermediate Representation and Optimization Passes
Language: C++ - Size: 713 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
casm-lang/libcasm-be
CASM Back-ends and Transformation Passes
Language: C++ - Size: 251 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casmi
CASM Numeric and Symbolic Interpreter
Language: C++ - Size: 493 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
casm-lang/libcasm-fe
CASM Front-end, AST Representation, Parser, and Typechecker
Language: C++ - Size: 14.7 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/libcasm-rt
CASM Run-Time Specification and Implementation
Language: C++ - Size: 735 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
casm-lang/casmc
CASM Optimizing Retargetable Compiler
Language: CMake - Size: 322 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
casm-lang/casm-lang.container.linux
Linux C++ Build Environment
Language: Dockerfile - Size: 88.9 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 2
casm-lang/casm-lang.plugin.atom
CASM Plug-in for Language Server Protocol Extension in Atom
Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
casm-lang/publication
CASM Publications
Size: 15.6 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.logo
CASM Logo, Banner, Slogan and Corporate Design
Language: Makefile - Size: 175 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.container.windows
Windows C++ Build Environment
Language: Dockerfile - Size: 85 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.github.io
CASM Website
Language: HTML - Size: 1000 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
casm-lang/casm-lang.pkg.archlinux-git
TBA
Size: 0 Bytes - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
casm-lang/libhayai Fork of nickbruun/hayai
Hayai C++ Benchmarking Framework Library
Language: C++ - Size: 1.1 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0