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
Java 245 261 Updated Jun 15, 2026

the runtime your coding agents live on

Rust 48,858 3,931 Updated Nov 3, 2026

herdr-core: terminals for coding agents

Rust 460 101 Updated Nov 6, 2026

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

TypeScript 24,860 797 Updated Nov 6, 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,748 90 Updated Nov 2, 2026

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

TypeScript 7,015 625 Updated Nov 6, 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 67,052 10,422 Updated Nov 6, 2026

Beautiful, Modern & Opinionated Linux

Shell 46,459 5,938 Updated Nov 7, 2026

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

Nix 142 9 Updated Nov 7, 2026

Simple and flexible tool for managing secrets

Go 23,641 1,115 Updated Nov 3, 2026

Unix like coding agent

Zig 3,785 433 Updated Nov 7, 2026

Review-first terminal diff viewer for agentic coders

TypeScript 9,787 327 Updated Nov 6, 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,342 280 Updated Oct 8, 2026

DeepSeek Harness: Everything is a Plugin.

TypeScript 275,294 33,656 Updated Nov 4, 2026

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

Rust 22,613 2,501 Updated Nov 7, 2026

meat.dev

Go 2,100 78 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…

C 2,538 188 Updated Sep 18, 2026

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

Rust 21,572 2,510 Updated Nov 7, 2026

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

Python 1,203 150 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,309 316 Updated Nov 6, 2026

Fast, multi-modal context for agents

Python 73 5 Updated Oct 20, 2026

Library and command-line utility for rendering projects templates.

Python 3,682 280 Updated Nov 6, 2026
JavaScript 7,626 1,240 Updated Nov 4, 2026

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

Zig 4,229 203 Updated Nov 6, 2026

AI coworker with memory and collaboration

TypeScript 18,146 1,818 Updated Nov 7, 2026

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

Go 13,185 1,201 Updated Nov 7, 2026

JavaScript in-page GUI agent. Control web interfaces with natural language.

TypeScript 29,648 2,641 Updated Nov 4, 2026

a structural diff that understands syntax 🟥🟩

Rust 26,158 534 Updated Nov 4, 2026
Next
0