Stars
Python's Filesystem abstraction layer
A set of benchmark problems and implementations for Python
Implementations of various type systems in OCaml.
Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks
Lightweight framework for easy and efficient code generation
Collection of library stubs for Python, with static types
Type4Py: Deep Similarity Learning-Based Type Inference for Python
This is Meta's fork of the CPython runtime. The name "cinder" here is historical, see https://github.com/facebookincubator/cinderx for the Python extension / JIT compiler.
A guide to concurrency, multi-threading and parallel programming concepts. Explains the differences between every concept, their advantages and disadvantages in detail.
Algorithms and data structures implemented in Haskell
OpenVPN road warrior installer for Ubuntu, Debian, AlmaLinux, Rocky Linux, CentOS and Fedora
Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Static Value-Flow Analysis Framework for Source Code
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
DARPA Challenges Sets for Linux, Windows, and macOS
Optimizing Directed Fuzzing via Target-tailored Program State Restriction
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Coverage-guided grammar aware fuzzer that uses grammar automatons
Automatic peephole optimizer for Cranelift JIT compiler
LostRuins / koboldcpp
Forked from ggml-org/llama.cppRun GGUF models easily with a KoboldAI UI. One File. Zero Install.