Highlights
- Pro
Stars
- All languages
- AGS Script
- Assembly
- Bikeshed
- C
- C#
- C++
- COBOL
- CSS
- CUE
- Clojure
- CoffeeScript
- Coq
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- OCaml
- Objective-C
- Open Policy Agent
- PHP
- PLSQL
- PLpgSQL
- Perl
- PowerShell
- Python
- R
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Svelte
- TeX
- TypeScript
- Vim Script
DuckDB extension that adds support for SQL/PGQ and graph algorithms
Model zoo for Gen AI models for Hailo products
ZITADEL - Identity infrastructure, simplified for you.
🔍 gowitness - a golang, web screenshot utility using Chrome Headless
An opinionated implementation of event sourcing using Wasm components
Lightweight, file-based workspace for source-guided whitebox security review.
Kairo is a next-generation TypeScript backend framework where security is the runtime itself - not middleware. Built on uWebSockets.js, it uses entropy scoring, taint tracking, intent-aware routing…
Build Real-Time Knowledge Graphs for AI Agents
Build reliable, secure, and production-ready AI apps easily.
Read-only developer endpoint scanner for on-disk package, extension, and developer-tool metadata, built to check exposure to known software supply-chain compromises.
CLI and Rust libraries for low-level manipulation of WebAssembly modules
The Hailo Model Zoo includes pre-trained models and a full building and evaluation environment
A scalable overlay networking tool with a focus on performance, simplicity and security
An idiomatic, lean, fast & safe pure Rust implementation of Git
The secure gateway connecting AI agents to enterprise systems.
Open-source AI hackers to find and fix your app’s vulnerabilities.
Build a modern LLM from scratch. Every line commented. Explained like we are five.
Kamaji is the Hosted Control Plane Manager for Kubernetes.




