Nojpg

Nojpg's Stars

• asdf-vm/asdf

  Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

  Language:Go22.5k125841790

• overleaf/overleaf

  A web-based collaborative LaTeX editor

  Language:JavaScript14.6k2111.1k1.5k

• krishnadey30/LeetCode-Questions-CompanyWise

  Contains Company Wise Questions sorted based on Frequency and all time

  13.3k186174.2k

• google/clusterfuzz

  Scalable fuzzing infrastructure.

  Language:Python5.3k120814565

• remzi-arpacidusseau/ostep-projects

  Projects for an undergraduate OS course

  Language:C4.5k74201.3k

• NVIDIA/warp

  A Python framework for high performance GPU simulation and graphics

  Language:Python4.4k50322255

• google/honggfuzz

  Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

  Language:C3.1k126255515

• DynamoRIO/dynamorio

  Dynamic Instrumentation Tool Platform

  Language:C2.7k1074.1k568

• facebookexperimental/hermit

  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

  Language:Rust1.2k152932

• pschanely/CrossHair

  An analysis tool for Python that blurs the line between testing and type systems.

  Language:Python1.1k1517251

• banach-space/clang-tutor

  A collection of out-of-tree Clang plugins for teaching and learning

  Language:C++715201764

• GrammaTech/ddisasm

  A fast and accurate disassembler

  Language:C++679416562

• google/ml-compiler-opt

  Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

  Language:Python645218692

• ynqa/sig

  Interactive grep (for streaming)

  Language:Rust611239

• bminor/binutils-gdb

  Unofficial mirror of sourceware binutils-gdb repository. Updated daily.

  Language:C555320556

• strongcourage/awesome-directed-fuzzing

  A curated list of awesome directed fuzzing research papers

  48729445

• mazeppa-dev/mazeppa

  A modern supercompiler for call-by-value functional languages

  Language:OCaml3978258

• GrammaTech/gtirb

  Intermediate Representation for Binary analysis and transformation

  Language:C++321284038

• ispras/dedoc

  Dedoc is a library (service) for automate documents parsing and bringing to a uniform format. It automatically extracts content, logical structure, tables, and meta information from textual electronic documents. (Parse document; Document content extraction; Logical structure extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser

  Language:Python203122222

• AeneasVerif/charon

  Interface with the rustc compiler for the purpose of program verification

  Language:Rust113516517

• rimsa/CFGgrind

  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.

  Language:C1139013

• curl/curl-fuzzer

  Quality assurance testing for the curl project

  Language:C++88142530

• GrammaTech/gtirb-pprinter

  Pretty printer from GTIRB to assembly code

  Language:C++48161211

• SVF-tools/Software-Security-Analysis

  Software Security Analysis Course

  Language:C++463215

• ispras/juliet-dynamic

  Juliet C/C++ Dynamic Test Suite

  27827

• anfedotoff/gdb-command

  Library for manipulating gdb in batch mode

  Language:Rust20303

• ispras/sydr-benchmark

  Sydr benchmark applications

  Language:C++17816

• sysrel/SIFT

  SIFT: Symbolic Execution with Selective Thread Scheduling

  Language:C++5101

• worldbeater/code-vecs

  Code for the methods and algorithms described in the paper "Analysis of Program Representations Based on Abstract Syntax Trees and Higher-Order Markov Chains for Source Code Classification Task"

  Language:Jupyter Notebook5100

• ReKreker/lsh_quals_2024

  Language:PHP1100