Compiler Design Lab - Saarland University (@cdl-saarland)
Guthub

cdl-saarland

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    136
  • Global Org. Rank 49,628 (Top 16 %)
  • Registered almost 8 years ago
  • Most used languages
    Python
         31.3 %
    C++
         25.0 %
    LLVM     18.8 %
    C
         12.5 %
    Coq     6.3 %
    Shell
         6.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 8,137
  • Country Ranking
    LLVM     7
    Coq     36
    C++
         668
    C
         2,561
    Python
         4,584
    Shell
         7,402

Top repositories

1

rv

RV: A Unified Region Vectorizer for LLVM
C++
101
star
2

axtor

AST - Extractor for LLVM
C++
17
star
3

pmevo-artifact

PLDI'20 Research Artifact for the PMEvo Project
Python
7
star
4

pmtestbench

Code development and artifact for our port mapping inference approaches
Python
6
star
5

CGO17_ArtifactEvaluation

Artifact evaluation repository for the CGO17 paper: Optimistic Loop Optimization
C
5
star
6

AnICA

Analyzing Inconsistencies of Code Analyzers
Python
4
star
7

iwho

Instructions With Holes: A library for matching instructions to more abstract schemes that can be instantiated with other operands.
Python
4
star
8

MemInstrument

A framework to make C memory safe
C++
3
star
9

PolyhedralExpressionPropagation

Polyhedral Expression Propagation as described by the Compiler Consturction (CC) paper 2018.
C++
3
star
10

vplan-rv

LLVM
2
star
11

MemInstrument-Runtime

C runtime component for MemInstrument
C
2
star
12

llvm-vp

Vector Predication extension for LLVM
LLVM
1
star
13

uniana

Coq
1
star
14

llvm_demystified

Material for "LLVM Demystified: A Hands-On Workshop for HPC Developers"
LLVM
1
star
15

AnICA-UI

A user interface to work with the results of AnICA.
Python
1
star
16

AnICA-Artifact

Vagrant VM config for the AnICA aritfact eval
Shell
1
star