Highlights
- Pro
Lists (21)
Sort Name ascending (A-Z)
🌉 1-day / CVE / PoC / Exploit
AI / ML /
Awesome.*
Browser /
🎶 Conference / Slide
Course /
🎲 Course / Assignment / Lab
Crypto
Crypto / PS /
🎯 CTF / Hack
Dev / Profiler / ...
🔮 Etc
🧩 Fuzzing / Analysis / Debugger
Fuzzing, Symbolic Execution, Binary Analysis/Rewrite/Instrumentation, etc.🛠 Hardware / HDL /
hv / cloud / virt / container
🗂 Interesting
Paper
⚙️ Plugin / Config / Utility
Static / Compiler /
🧬 System / Windows / Linux / VM
web3 /
Stars
- All languages
- Agda
- Assembly
- AutoHotkey
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- CoffeeScript
- Coq
- Crystal
- Cuda
- Dockerfile
- Elixir
- F#
- Fennel
- Go
- HTML
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- Makefile
- Markdown
- Max
- Meson
- Mojo
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- Pascal
- PowerShell
- Prolog
- Python
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sage
- Scala
- Shell
- SmPL
- Solidity
- Starlark
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
A repository for Skyline, Strato, Vita3K and Yuzu Android compatible Adreno drivers.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)
Oh my tmux! My self-contained, pretty & versatile tmux configuration made with 💛🩷💙🖤❤️🤍
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
Empowering everyone to build reliable and efficient software.
Open-source high-performance RISC-V processor
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…
The open source developer platform to build AI/LLM applications and models with confidence. Enhance your AI applications with end-to-end tracking, observability, and evaluations, all in one integra…
The most complete DDS - Proven: Plenty of success cases. Looking for commercial support? Contact info@eprosima.com
Bear is a tool that generates a compilation database for clang tooling.
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Open-source simulator for autonomous driving research.
Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.
Modern, advanced, portable, multiprotocol bootloader and boot manager. (Official mirror of https://codeberg.org/Limine/Limine)
Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.
Secure and fast microVMs for serverless computing.