- Toulouse, France
-
21:44
(UTC +02:00) - zenithar.org
- https://orcid.org/0009-0008-3734-4110
- in/zenithar
- All languages
- AGS Script
- ANTLR
- API Blueprint
- Arduino
- Assembly
- Batchfile
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Dhall
- Dockerfile
- Elixir
- Elm
- Erlang
- GDScript
- Go
- Go Template
- Groovy
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Markdown
- Max
- Mustache
- Nginx
- Nim
- Nix
- OCaml
- Objective-C++
- Open Policy Agent
- PHP
- PLpgSQL
- Perl
- Pony
- PowerShell
- Protocol Buffer
- Python
- QML
- R
- RenderScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sage
- Scala
- Scheme
- Shell
- Smarty
- Starlark
- Stata
- Swift
- TeX
- TypeScript
- V
- VBA
- VHDL
- Vim Script
- Visual Basic .NET
- Vue
- WebAssembly
- YARA
- Zig
Starred repositories
A machine tool for agents: a verified runtime for systems agents build.
Write SIMD once, run everywhere. AVX2, AVX-512, or pure Go fallback. Like Google Highway, but for Go.
A vector index built on TurboQuant, written in Rust with Python bindings
Semantic code intelligence MCP server - build knowledge graphs of codebases to enhance AI-assisted code exploration.
Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…
Production-grade engineering skills for AI coding agents.
The open-source app everyone uses to manage agents at work
A simple and easy-to-use OIDC provider that allows users to authenticate with their passkeys to your services.
Give your AI agent a Pup — a CLI companion with 200+ commands across 33+ Datadog products.
Better 'AskUserQuestion' - A lightweight MCP server/OpenCode plugin/Agent Skills + CLI interface which allows parallel AI agents ask questions to you. Be the human in the human-in-the-loop!
Run AI coding agents in secure, isolated microVMs. Sub-125ms boot times, real hardware isolation.
Redis-compatible in-memory data store in Rust. Actor-per-shard architecture, CRDT replication, deterministic simulation testing, 4-layer verification.
Open-source AI hackers to find and fix your app’s vulnerabilities.
OWASP Foundation web repository
A Go implementation of the FAST (Format-preserving encryption And Secure Tokenization) algorithm.
Build Exciting Applications Your Users Can Rely On
A collection of 100+ specialized Claude Code subagents covering a wide range of development use cases
A proxy sidecar to access Gemini models via OpenAI and Ollama APIs
Generate OpenAPI 3 specifications for any Go web project via static analysis, with zero magic comments.
AI Agent that handles engineering tasks end-to-end: integrates with developers’ tools, plans, executes, and iterates until it achieves a successful result.
A Model Context Protocol (MCP) server that enables LLMs to run ANY code safely in isolated Docker containers.