Giters
Sushant Dinesh (sushant94)

sushant94

Geek Repo

212

followers

39

following

119

stars

Company:University of California, Berkeley

Location:Berkeley, CA

Home Page:http://sushant94.me/

Twitter:@_sushant94

Github PK Tool:Github PK Tool

Organizations
NIA-Labs

Sushant Dinesh's starred repositories

gitignore

A collection of useful .gitignore templates

License:CC0-1.0Stargazers:160688Issues:3371Issues:0

puppeteer

JavaScript API for Chrome and Firefox

Language:TypeScriptLicense:Apache-2.0Stargazers:88056Issues:1190Issues:6860

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it. Completely separate team and codebase from the AI Web App builder https://gptengineer.app

Language:PythonLicense:MITStargazers:51715Issues:503Issues:473

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellLicense:Apache-2.0Stargazers:10272Issues:255Issues:2330

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

Language:CLicense:MITStargazers:10268Issues:159Issues:599

souper

A superoptimizer for LLVM IR

Language:C++License:Apache-2.0Stargazers:2103Issues:64Issues:140

pyelftools

Parsing ELF and DWARF in Python

Language:PythonLicense:NOASSERTIONStargazers:1978Issues:68Issues:251

circt

Circuit IR Compilers and Tools

Language:C++License:NOASSERTIONStargazers:1609Issues:252Issues:2045

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++License:Apache-2.0Stargazers:1590Issues:53Issues:523

retrowrite

RetroWrite -- Retrofitting compiler passes through binary rewriting

Language:PythonLicense:NOASSERTIONStargazers:657Issues:36Issues:44

ddisasm

A fast and accurate disassembler

Language:C++License:AGPL-3.0Stargazers:644Issues:40Issues:61

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Language:RacketLicense:NOASSERTIONStargazers:635Issues:30Issues:144

mapping-high-level-constructs-to-llvm-ir

A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

Language:LLVMLicense:NOASSERTIONStargazers:593Issues:22Issues:34

pysmt

pySMT: A library for SMT formulae manipulation and solving

Language:PythonLicense:Apache-2.0Stargazers:563Issues:17Issues:313

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Language:C++License:MITStargazers:479Issues:20Issues:298

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:435Issues:20Issues:199

lbd

Language:C++Stargazers:324Issues:17Issues:9

gtirb

Intermediate Representation for Binary analysis and transformation

Language:C++License:NOASSERTIONStargazers:303Issues:29Issues:37

EXEgesis

Language:C++License:Apache-2.0Stargazers:279Issues:35Issues:9

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Language:CLicense:Apache-2.0Stargazers:270Issues:13Issues:70

crab

A library for building abstract interpretation-based analyses

Language:C++License:Apache-2.0Stargazers:230Issues:12Issues:41

StochFuzz

Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting

Language:CLicense:GPL-3.0Stargazers:183Issues:7Issues:5

X86-64-semantics

Semantics of x86-64 in K

Language:AssemblyLicense:NOASSERTIONStargazers:135Issues:22Issues:9

cryptopals

Python 3 solutions to the original set of the Matasano Cryptopals cryptographic challenges

Language:PythonLicense:MITStargazers:92Issues:6Issues:1

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog

Language:C++License:NOASSERTIONStargazers:52Issues:8Issues:28

gross

Research Compiler using Graph IR for Code Optimizations and Code Generations

Language:C++License:NOASSERTIONStargazers:47Issues:5Issues:0

RetroWrite-Tutorial

Language:CStargazers:36Issues:0Issues:0

weekly

Weekly newsletter featuring progress in Amaranth HDL, its standard components, and the community

License:CC-BY-SA-4.0Stargazers:9Issues:2Issues:0

deaddrop

Chat client on an LLC covert channel

Language:CLicense:MITStargazers:7Issues:5Issues:4

stackbert

Language:Jupyter NotebookStargazers:6Issues:0Issues:0