Stars
- All languages
- Ada
- Agda
- Assembly
- Astro
- Batchfile
- Bikeshed
- Blade
- C
- C#
- C++
- C3
- CSS
- Clojure
- CoffeeScript
- Crystal
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- FreeBASIC
- Futhark
- G-code
- GDScript
- Go
- Go Template
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Limbo
- Lua
- M
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Max
- Meson
- Nim
- Nix
- OCaml
- Oberon
- Objective-C
- Objective-C++
- Odin
- OpenSCAD
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Python
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- Text
- TypeScript
- V
- Verilog
- Vim Script
- Vue
- YARA
- Zig
- mcfunction
Allocate memory on a innocent victim programs address space, just like the IDF intended.
A Claude Code skill bundle for bug hunting and external red-team work — 71 skills, 15 slash commands, 681 disclosed-report patterns curated across 24 core vulnerability classes, plus enterprise ide…
Bootstrap Kubernetes the hard way. No scripts.
Claude Code hooks that enforce tool usage, prevent hallucinations and protect your codebase
Write HTML. Render video. Built for agents.
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
Library for reducing tail latency in RAM reads
Play Doom entirely from DNS records. (PowerShell 7+)
Browser automation plugin for OpenCode AI editor - Control Chrome/Edge with AI, automate web testing, scraping & form filling via MCP integration
Real-time supply chain threat detection for package ecosystems. Monitors PyPI and npm release streams, prioritizes packages by cascade impact across the dependency graph, and performs AST-based beh…
EWS design concept based on neon genesis evangelion theme
Open-source, low-cost 10.5 GHz PLFM phased array RADAR system
ExaNIC drivers, utilities and development libraries
Official implementation of ArUco nano, a lightweight implementation of the ArUco marker detection algorithm up to 6.5x faster than standard OpenCV ArUco.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda is a dependently typed programming language / interactive theorem prover.
DECeption with Evaluative Integrated Validation Engine (DECEIVE): Let an LLM do all the hard honeypot work!
OBLITERATE THE CHAINS THAT BIND YOU
Community-based GPL-licensed network monitoring system
Development at the speed of light