sallaigy

sallaigy's Stars

• dwmkerr/hacker-laws

  💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

  Language:Shell25.9k4392051.5k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.8k98262438

• apernet/OpenGFW

  OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

  Language:Go9.9k6971741

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.2k1602k588

• mealie-recipes/mealie

  Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recipes into your database by providing the url and mealie will automatically import the relevant data or add a family recipe with the UI editor

  Language:Python7.7k421.3k763

• MattPD/cpplinks

  A categorized list of C++ resources.

  4.6k26111486

• plasma-umass/coz

  Coz: Causal Profiling

  Language:C4.1k71143160

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust4.1k2531105

• banach-space/llvm-tutor

  A collection of out-of-tree LLVM passes for teaching and learning

  Language:C++3k5560398

• facebookarchive/BOLT

  Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

  2.5k87219179

• google/souper

  A superoptimizer for LLVM IR

  Language:C++2.2k64141172

• id-Software/quake2-rerelease-dll

  Language:C2.2k410189

• zhuowei/nft_ptr

  C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

  Language:Rust2k171536

• mtrebi/memory-allocators

  Custom memory allocators in C++ to improve the performance of dynamic memory allocation

  Language:C++1.8k6622160

• lifting-bits/remill

  Library for lifting machine code to LLVM bitcode

  Language:C++1.3k64248144

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k362.6k236

• jrfonseca/xdot.py

  Interactive viewer for graphs written in Graphviz's dot language.

  Language:Python8724372148

• eyalroz/cuda-api-wrappers

  Thin, unified, C++-flavored wrappers for the CUDA APIs

  Language:C++8043063180

• banach-space/clang-tutor

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

  Language:C++709201764

• fritzone/obfy

  A tiny C++ obfuscation framework

  Language:C++659161896

• learn-llvm/awesome-llvm

  A curated list of awesome LLVM (including Clang, etc) related resources.

  Language:Python56021041

• javapathfinder/jpf-core

  JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

  Language:Java53822236343

• trailofbits/polytracker

  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

  Language:C++5383815645

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C4312445382

• microsoft/Microsoft-Performance-Tools-Linux-Android

  Linux, Android and Chromium Performance Tools built using the Microsoft Performance Toolkit. Cross-platform .NET Core + WPA GUI

  Language:C#327203134

• tree-sitter/tree-sitter-c

  C grammar for tree-sitter

  Language:JavaScript25217145110

• uw-pluverse/perses

  language-agnostic program reducer.

  Language:Rust17272424

• stanford-centaur/smt-switch

  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

  Language:C++11995645

• DataDog/datadog-static-analyzer

  Datadog Static Analyzer

  Language:Rust10112914

• billrain/MainframeJCL

  Library of Mainframe JCL

  265012