• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TeX
  • Created almost 6 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

More Repositories

1

binary-decompilation

Extracting high level semantic information from binary code
Assembly
63
star
2

validating-binary-decompilation

Scalable Validator for Binary Lifters
LLVM
53
star
3

parallel-processor-design

Super scalar Processor design
Verilog
21
star
4

x86-64-instruction-summary

Provides various information around an x86/64 instruction.
16
star
5

partial-redundancy-elimination

Partial Redundancy Elimination Pass in LLVM
TeX
12
star
6

symbolic-analysis

Customized symbolic analysis to find pointer analysis bugs
C++
6
star
7

dwarf-type-reader

Reading type information from debug info section of executable
C++
5
star
8

profiler-using-clang-based-ast-instrumentation

Clang based AST reformatting tool used for injecting instrumentation code in C/C++ programs. The goal is collecting profiles (run-times and execution frequencies) on C/C++ programs.
C++
5
star
9

Leetmap

MIndMap of all the problems in Leetcode
C++
3
star
10

strata-data-private

Assembly
2
star
11

gri

GRI - An interpreter for a language suitable for graph algorithms
C++
2
star
12

strata-stoke

The stoke branch corresponding to strata project
C++
2
star
13

learning-K

K Learning Experience
Makefile
2
star
14

neongoby

This is created out of https://github.com/wujingyue/neongoby
C++
2
star
15

scripts-n-docs

Cheat sheet for common development utilities
Perl
1
star
16

mlir-tutorial

Shell
1
star
17

x64asm

x64asm branch of stoke project
C++
1
star
18

programming

My programming Tutorials /Experiences
TeX
1
star
19

compositional-decompiler-cache

1
star
20

z3-Experiments

Python
1
star
21

statistical-outlier-detection

R
1
star
22

SpISA-19

https://www.cl.cam.ac.uk/~jrh13/spisa19.html
TeX
1
star
23

PLDI19-ArtifactEvaluation

Artifact Evaluation, PLDI'19
1
star
24

non-separable-global-dataflow-framework

Extend GCC's GDFA Architecture to Non-separable Framwork
Turing
1
star
25

compd_cache

1
star
26

parallel-sudoku

Parallel Sudoku Implementation using Charm++
C
1
star