Beast code in Giters

Shreeasish Kumar's starred repositories

e9patch

A powerful static binary rewriting tool

Language:CGPL-3.096100

phasar

A LLVM-based static analysis framework.

Language:C++NOASSERTION93000

Armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.

Language:C#NOASSERTION13700

awesome-ebpf

A curated list of awesome projects related to eBPF.

CC0-1.0415700

llvm-dataflow-analysis

Language:C++MIT6200

llilc

This repo contains LLILC, an LLVM based compiler for .NET Core. It includes a set of cross-platform .NET code generation tools that enables compilation of MSIL byte code to LLVM supported platforms.

Language:C++MIT152000