🐈
00000011
Highlights
- Pro
Lists (21)
Sort Name ascending (A-Z)
🌉 1-day / CVE / PoC / Exploit
119 repositories
AI / ML /
11 repositories
Awesome.*
7 repositories
Browser /
1 repository
🎶 Conference / Slide
12 repositories
Course /
8 repositories
🎲 Course / Assignment / Lab
18 repositories
Crypto
Crypto / PS /
4 repositories
🎯 CTF / Hack
76 repositories
Dev / Profiler / ...
17 repositories
🔮 Etc
25 repositories
🧩 Fuzzing / Analysis / Debugger
Fuzzing, Symbolic Execution, Binary Analysis/Rewrite/Instrumentation, etc.128 repositories
🛠 Hardware / HDL /
20 repositories
hv / cloud / virt / container
19 repositories
🗂 Interesting
19 repositories
Paper
112 repositories
⚙️ Plugin / Config / Utility
170 repositories
Static / Compiler /
12 repositories
🧬 System / Windows / Linux / VM
161 repositories
web3 /
1 repository
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
6
results
for source starred repositories
written in OCaml
Clear filter
A static analyzer for Java, C, C++, and Objective-C
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮