• Stars
    star
    49
  • Rank 585,874 (Top 12 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created 10 months ago
  • Updated 3 months ago

Reviews

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

Repository Details

Synthesis of Optimized Hash Functions

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

lif

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

jotai-benchmarks

Collection of executable benchmarks
C
41
star
6

chimera

A tool for synthesizing Verilog programs
Verilog
33
star
7

yali

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

merlin

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

lushu

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

Nisse

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

Angha

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

Daedalus

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

Benchmarks

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

hamsa

A tool to extract complexities and costs from programs and kernels
C++
17
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