CASM (@casm-lang)
Guthub

casm-lang

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Org. Rank 126,863 (Top 41 %)
  • Registered over 10 years ago
  • Most used languages
    C++
         71.4 %
    Shell
         14.3 %
    CMake     14.3 %
  • Location 🇦🇹 Austria
  • Country Total Rank 2,665
  • Country Ranking
    CMake     41
    Shell
         268
    C++
         357

Top repositories

1

casm

CASM Project
Shell
7
star
2

libcasm-ir

CASM Intermediate Representation and Optimization Passes
C++
4
star
3

libstdhl

Standard High-Level Library
C++
3
star
4

casmi

CASM Numeric and Symbolic Interpreter
C++
1
star
5

libtptp

Thousands of Problems for Theorem Provers Library
C++
1
star
6

casmc

CASM Optimizing Retargetable Compiler
CMake
1
star
7

libpass

Compiler Pass Infrastructure Facility
C++
1
star