Stars
- All languages
- Assembly
- Batchfile
- Bluespec
- Boo
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Coq
- Cuda
- Dart
- Dockerfile
- Erlang
- F#
- F*
- Fortran
- GLSL
- Go
- HCL
- HTML
- Haskell
- Inno Setup
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Logos
- Lua
- MDX
- Makefile
- Markdown
- Max
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Open Policy Agent
- OpenEdge ABL
- OpenSCAD
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- Rich Text Format
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Smali
- Solidity
- Standard ML
- StringTemplate
- Swift
- SystemVerilog
- TeX
- Tree-sitter Query
- TypeScript
- VBA
- VHDL
- Verilog
- Vue
- XSLT
- YAML
- YARA
- Zig
Semantic ifs from open models, on a 3090 at home. Independent; not affiliated with Jev or TypeSafe.
Native and Compact Structured Latents for 3D Generation
Official implementation of Gaussian point splatting (SIGGRAPH'26)
Run iOS/ macOS in Qemu. Virtual iPhone 17, 16, 15, 14, 13, 12 and M5-M1 Apple Si Macs supported.
Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code
Make humans and AI agents work as one team — open-source and self-hostable.
Unofficial source-oriented reconstruction and extension of Grok Bot 0.18.0 for macOS
PoCs and exploits for CVEs discovered by NebuSec.
Graph-Native Infrastructure for Context and Accountable AI Systems
android-native-auto-reverse 是一个面向授权 Android 逆向分析场景的 Codex Skill,主要用于 APK、DEX、JAR、AAR、Native SO 等目标的静态分析、动态调试、加固识别、脱壳、请求分析和 Native 层逆向。
autonomous red teaming platform; multi-agent offensive-security meta-harness
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
Curated, community-vetted Claude Code plugin marketplace
Malicious skills for testing skill scanners
Benchmark for evaluating LLM agents on smart-contract vulnerability discovery and exploitation
Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and supply-chain risks in Claude Code, Codex, and MCP skills b…
OpenShell is the safe, private runtime for autonomous AI agents.
Intercept and inspect Coding Agent API traffic from Claude Code, Codex CLI, Gemini CLI, Cursor CLI, OpenCode, Kimi/Kimi Code, Pi, and Hermes in a local trace viewer.
817 structured cybersecurity skills for AI agents · Mapped to 6 frameworks: MITRE ATT&CK, NIST CSF 2.0, MITRE ATLAS, D3FEND, NIST AI RMF & MITRE F3 (Fight Fraud) · agentskills.io standard · Works w…
A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.
OpenShell is the safe, private runtime for autonomous AI agents.
A guide to use gunyah VM on Android snapdragon devices with crosvm