• Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created about 2 years ago
  • Updated over 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A tool to extract complexities and costs from programs and kernels

More Repositories

1

honey-potion

Writing eBPF programs with Elixir!
C
247
star
2

llvm-course

Code examples used for the LAC LLVM course
C++
120
star
3

wyvern

Automatic conversion of call by value into call by need in the LLVM IR.
C++
55
star
4

sepe

Synthesis of Optimized Hash Functions
C++
49
star
5

lif

A tool to eliminate timing-based side channels
LLVM
47
star
6

jotai-benchmarks

Collection of executable benchmarks
C
41
star
7

chimera

A tool for synthesizing Verilog programs
Verilog
33
star
8

yali

A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.
LLVM
30
star
9

merlin

Program instrumentation and cost function generation
C++
28
star
10

lushu

System to recognize infinite languages and react to string events
Jupyter Notebook
26
star
11

Nisse

Ball Larus edge profiling with loop optimization
C++
22
star
12

Angha

Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
Python
21
star
13

Daedalus

Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.
C++
19
star
14

Benchmarks

LLVM test suite benchmarks (260 benchmarks - 36 test suites)
C
18
star
15

hapi

A domain specific language to define access policies.
Kotlin
14
star
16

elixir-pbbs

Rewrite the Problem-Based Benchmark Suite in Elixir
Elixir
14
star
17

DropletSearch

Space search exploration in the compiler optimization space
Python
12
star
18

hydra

A benchmark game for guessing the hottest point of a program
C
10
star
19

Zhe

Discovery and Treatment of String Events
Kotlin
9
star
20

BenchGen

Automatic Generation of Benchmarks to Stress-Test Computing Systems.
C
8
star
21

CMeasure

Power measurement tool designed to extract power data from the National Instruments DAQ USB-6009 Device
C++
7
star
22

koroghlu

Project to build a docker for artifacts.
Python
5
star
23

JINN-C

JINN-C Adaptive Compiler for Heterogeneous Single-ISA architectures
Scala
5
star
24

bennu

template_autotvm
Python
4
star
25

hapi-visualizer

Web interface to visualize policies descriptions
CSS
3
star
26

Zhe-Lang

Kotlin
3
star
27

templates

Templates for presentations
TeX
3
star
28

page.bcmp

HTML
3
star
29

benchMetrics

3
star
30

DCC888

Python
2
star
31

StaticFeatureExtractor

A Tool to Extract Code Features from JVM Compatible Languages.
Java
1
star