8000 havk64 (Alexandro de Oliveira) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View havk64's full-sized avatar

Block or report havk64

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Truly independent web browser

Rust 67,131 3,210 Updated Nov 15, 2026

Open-source AI cybersecurity harness. Build & deploy continuous security agents that find, prove, fix and monitor vulnerabilities across code, binaries, dependencies, infrastruc 8000 ture and AI agents. …

TypeScript 1,356 179 Updated Nov 15, 2026
Java 245 261 Updated Jun 15, 2026

the runtime your coding agents live on

Rust 51,015 4,130 Updated Nov 7, 2026

herdr-core: terminals for coding agents

Rust 699 177 Updated Nov 14, 2026

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

TypeScript 25,036 799 Updated Nov 14, 2026

Agent Skills that teach coding agents to write, review, and port idiomatic Rust, plus a tested clippy config. Works with Claude Code, Codex, Copilot, Cursor, and Gemini CLI.

Python 1,817 94 Updated Nov 8, 2026

A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.

TypeScript 7,126 640 Updated Nov 13, 2026

Use Claude Code, Codex, Antigravity, VSCode, Pi, and OpenCode (and 6 other harnesses) for free (1.3B+ free tokens) from your terminal, app, IDE, or phone, and now from the browser with native brows…

Python 70,290 10,909 Updated Nov 15, 2026

Beautiful, Modern & Opinionated Linux

Shell 47,003 6,122 Updated Nov 14, 2026

Omarchy 4.x vendored for NixOS — the upstream tree packaged as a derivation, not reimplemented in Nix

Nix 155 10 Updated Nov 14, 2026

Simple and flexible tool for managing secrets

Go 23,713 1,118 Updated Nov 14, 2026

Unix like coding agent

Zig 3,851 444 Updated Nov 15, 2026

Review-first terminal diff viewer for agentic coders

TypeScript 9,833 333 Updated Nov 14, 2026

LLM-as-a-Verifier is a general-purpose framework that provides fine-grained feedback for any agent without requiring additional training. It achieves SOTA performance across coding, robotics, and m…

Python 3,344 285 Updated Oct 8, 2026

DeepSeek Harness: Everything is a Plugin.

TypeScript 281,170 34,728 Updated Nov 13, 2026

A self-improving RLM agent for coding workflows and long-running autonomous tasks.

Rust 22,707 2,516 Updated Nov 14, 2026

meat.dev

Go 2,104 79 Updated Aug 3, 2026

Run the full 2.78-trillion-parameter Kimi K3 model, DeepSeek V4.1 Flash or GLM-5.3-Flash beyond available RAM by streaming activated weights directly from NVMe. A dependency-free, embeddable C infe…

Python 2,559 194 Updated Nov 12, 2026

High performance coding agent harness written in Rust, built for heavy multi-agent dev workflows

Rust 21,777 2,541 Updated Nov 15, 2026

MoonEP: A Perfectly Balanced Expert Parallelism Library via Dynamic Redundant Experts

Python 1,212 152 Updated Oct 12, 2026

Onboard AI tools in one step, and catch the rest. Relay sets up Claude Desktop, Claude Code, and Codex to run through your LiteLLM AI Gateway with zero dev setup and routes shadow AI (Notion AI, Pe…

Rust 112 11 Updated Oct 29, 2026

NVIDIA Object Oriented Agents: the Pythonic way to build AI Agents.

Python 2,319 320 Updated Nov 13, 2026

Fast, multi-modal context for agents

Python 73 5 Updated Nov 14, 2026

Library and command-line utility for rendering projects templates.

Python 3,704 280 Updated Nov 6, 2026
JavaScript 7,709 1,254 Updated Nov 13, 2026

Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

Zig 4,259 206 Updated Nov 15, 2026

Your agent team, in one group chat.

TypeScript 18,250 1,827 Updated Nov 13, 2026

Instant, Concurrent, Secure & Lightweight Sandbox for AI Agents.

Go 13,245 1,216 Updated Nov 13, 2026
Next
0