-
-
-
-
-
zotero-better-authors Public
Forked from github-young/zotero-better-authorsCustomize the displayed authors list
TypeScript GNU Affero General Public License v3.0 UpdatedMay 23, 2026 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@khaneliman, @rycee]
Nix MIT License UpdatedMay 19, 2026 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMay 7, 2026 -
nix-installer Public
Forked from DeterminateSystems/nix-installerInstall Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.
Rust GNU Lesser General Public License v2.1 UpdatedMay 5, 2026 -
COMP6131 Public
Forked from SVF-tools/Software-Security-AnalysisSoftware Security Analysis Course
C++ GNU General Public License v3.0 UpdatedMay 2, 2026 -
zotero-immersivetranslate Public
Forked from immersive-translate/zotero-immersivetranslateZotero BabelDOC plugin, for Immersive Translate Pro members.
TypeScript GNU Affero General Public License v3.0 UpdatedApr 13, 2026 -
basic-letter-typst-template Public
Forked from whliao5am/basic-letter-typst-templateA clean academic letter template for Typst
Typst MIT License UpdatedMar 26, 2026 -
-
PRISM Public
Forked from xyjoey/PRISMAn Elegant Academic Homepage Builder
TypeScript MIT License UpdatedMar 19, 2026 -
llvm-tutor Public
Forked from banach-space/llvm-tutorA collection of out-of-tree LLVM passes for teaching and learning
C++ MIT License UpdatedMar 18, 2026 -
Locus Public
Agentic predicate synthesis for directed fuzzing
-
-
kernel-dev Public
Forked from blitz/kernel-devInstant Linux kernel development environments via Nix devShells
Nix MIT License UpdatedFeb 27, 2026 -
Beacon Public
Forked from 5hadowblad3/Beacon_artifactResearch artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"
C++ Apache License 2.0 UpdatedDec 3, 2025 -
llvm-plugin-rs Public
Forked from jamesmth/llvm-plugin-rsOut-of-tree LLVM passes in Rust
Rust Apache License 2.0 UpdatedDec 1, 2025 -
HomePage Public
Forked from SimonAKing/HomePageA modern and elegant personal homepage with fluid animation background, responsive design and smooth page transitions
JavaScript GNU Lesser General Public License v3.0 UpdatedOct 24, 2025 -
KernelGPT Public
Forked from ise-uiuc/KernelGPTKernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)
C++ Apache License 2.0 UpdatedAug 25, 2025 -
libpng Public
Forked from pnggroup/libpngLIBPNG: Portable Network Graphics support, official libpng repository
C Other UpdatedMay 26, 2025 -
SVF-example Public
Forked from Johanmyst/SVF-exampleAn external project example using SVF as a library
C++ UpdatedMay 6, 2025 -
-
-
aflgo Public
Forked from aflgo/aflgoDirected Greybox Fuzzing with AFL
C Apache License 2.0 UpdatedMar 28, 2025 -
-
-
-
{{ message }}