- Tel Aviv
Highlights
- Pro
- All languages
- AMPL
- Assembly
- Ballerina
- Batchfile
- Bikeshed
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cypher
- Cython
- DM
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Fennel
- Forth
- FreeMarker
- GDScript
- Gherkin
- Go
- Go Template
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Inno Setup
- Io
- Isabelle
- JSON
- Janet
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- KCL
- Kaitai Struct
- Kotlin
- LLVM
- Lean
- LiveScript
- Logos
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Motoko
- Move
- Mustache
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Open Policy Agent
- OpenQASM
- PHP
- PLpgSQL
- Perl
- Pony
- PowerShell
- Prolog
- Python
- Q#
- QML
- R
- Racket
- ReScript
- Reason
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- Terra
- Thrift
- TypeScript
- TypeSpec
- V
- Vala
- Vim Script
- Vue
- WebAssembly
- Wikitext
- YARA
- Yul
- Zig
- edn
- hoon
- reStructuredText
Starred repositories
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Buttercup finds and patches software vulnerabilities
Stealth headless browser for AI agents — bypass Cloudflare, bot detection, and anti-scraping. Drop-in Puppeteer/Playwright replacement.
AAS Core is the local, agent-first control plane for complete catalog discovery, agent-owned selection, stack validation, and planning, backed by 1,987+ agentic skills. Includes CLI, local MCP, cat…
Open-source graph database superpowers for your existing Postgres data.
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development cycle of your infrastructure-as-code with KICS by Checkmarx.
Official, AWS-supported MCP servers, skills, and plugins to help AI agents build on AWS
A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent
The agent that grows with you
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
A PyTorch native platform for training generative AI models
An interface library for RL post training with environments.
Agent-friendly ASCII illustrator for the terminal
Self-healing browser harness that enables LLMs to complete any task
Working repository for common AI Card standard
AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.
Headless CLI client for stateful Agent Client Protocol (ACP) sessions
A framework for building realtime voice AI agents 🤖🎙️📹
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
A maintained, feature-rich and performance oriented, neofetch like system information tool.
OpenShell is the safe, private runtime for autonomous AI agents.
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
⚡ A beautiful, fully customizable statusline for Claude Code - Starship-style TOML config, themeable colours, Nerd Font glyphs, and tunable cost/context/usage thresholds.
A powerful meta-prompting, context engineering and spec-driven development system that enables agents to work for long periods of time autonomously without losing track of the big picture