-
-
-
-
watchcat Public
AI watchdog who tracks research trends
-
libpcap Public
Forked from the-tcpdump-group/libpcapthe LIBpcap interface to various kernel packet capture mechanism
C Other UpdatedNov 18, 2025 -
-
cJSON Public
Forked from DaveGamble/cJSONUltralightweight JSON parser in ANSI C
C MIT License UpdatedNov 9, 2025 -
ziggy-pydust Public
Forked from spiraldb/ziggy-pydustA toolkit for building Python extensions in Zig.
Zig Apache License 2.0 UpdatedSep 18, 2025 -
-
re2 Public
Forked from google/re2RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.
C++ BSD 3-Clause "New" or "Revised" License UpdatedSep 8, 2025 -
libpng Public
Forked from pnggroup/libpngLIBPNG: Portable Network Graphics support, official libpng repository
C Other UpdatedAug 31, 2025 -
aflgo Public
Forked from aflgo/aflgoDirected Greybox Fuzzing with AFL
C Apache License 2.0 UpdatedAug 27, 2025 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe 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!
C Apache License 2.0 UpdatedAug 25, 2025 -
Hopper Public
Forked from FuzzAnything/HopperHopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
Rust Other UpdatedJul 29, 2025 -
-
-
OptFoundry Public
A solver for optimal assembly line layouts in the industrial automation game, FOUNDRY™
Python MIT License UpdatedJun 28, 2025 -
idontwannadoresearch Public
Research utilities for the lazy.
Python MIT License UpdatedJun 19, 2025 -
fuzzbench Public
Forked from google/fuzzbenchFuzzBench - Fuzzer benchmarking as a service.
Python Apache License 2.0 UpdatedJun 13, 2025 -
-
-
islearn Public
Forked from rindPHI/islearnISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
Python GNU General Public License v3.0 UpdatedJun 3, 2025 -
isla Public
Forked from rindPHI/islaThe ISLa (Input Specification Language) language & solver.
Python GNU General Public License v3.0 UpdatedJun 3, 2025 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedMay 30, 2025 -
-
phasar Public
Forked from secure-software-engineering/phasarA LLVM-based static analysis framework.
C++ Other UpdatedApr 30, 2025 -
llamppl Public archive
Forked from genlm/llampplProbabilistic programming with large language models
Python UpdatedApr 16, 2025 -
llama.cpp Public archive
Forked from ggml-org/llama.cppLLM inference in C/C++
C++ MIT License UpdatedApr 4, 2025 -
symcc Public
Forked from eurecom-s3/symccSymCC: efficient compiler-based symbolic execution
C++ GNU General Public License v3.0 UpdatedMar 11, 2025 -
symcc-rt Public
Forked from eurecom-s3/symcc-rtSymCC Runtime
C++ GNU Lesser General Public License v3.0 UpdatedMar 9, 2025
{{ message }}