Skip to content
View haf's full-sized avatar
💹
currently succeeding...
💹
currently succeeding...

Highlights

  • Pro

Organizations

@Albacore @DotNetIO @logibit @fsprojects @causiq @Hopac

Block or report haf

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. 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

Tangle is a web app that allows the users to build and run Machine Learning pipelines without having to set up development environment.

Python 245 21 Updated May 20, 2026

Open source implementation of the Turborepo custom remote cache server.

TypeScript 1,441 150 Updated May 15, 2026

Kubernetes operator for Multigres — deploys, scales, and manages horizontally scalable PostgreSQL clusters with automated topology orchestration, drain-safe rolling updates, and admission webhooks

Go 241 25 Updated May 20, 2026

Lean Cortex -- the cognitive context layer for agentic systems. 51+ MCP tools, 10 read modes, 95+ shell patterns. Up to 99% token savings. Works with Cursor, Claude Code, Copilot, Windsurf, Codex, …

Rust 1,981 202 Updated May 20, 2026

Agent-Sandbox is an E2B compatible easy-to-use enterprise-grade sandboxes for AI Agents. Allows Agents to securely run untrusted LLM-generated Code, Browser use, Computer use, and deploy Website etc.

Go 124 12 Updated May 19, 2026

Offload your test computation to ephemeral compute

Rust 155 5 Updated May 20, 2026

AI agents running research on single-GPU nanochat training automatically

Python 82,284 11,945 Updated Mar 26, 2026

The open-source app everyone uses to manage agents at work

TypeScript 66,771 12,235 Updated May 20, 2026

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

TypeScript 29,095 12,831 Updated May 20, 2026

Claude Code skill — generate cross-client HTML email with MJML. Outlook-safe, Gmail-optimized, WCAG 2.1 AA accessible.

39 6 Updated Feb 28, 2026

The CLI for AI agents to control Chrome. Zero config, agent-agnostic, battle-tested.

JavaScript 500 43 Updated May 3, 2026

Agent Semantic Protocol v1.0.0— Semantic interoperability layer for AI agents (MCP extension)

Go 27 3 Updated Feb 26, 2026

A macOS app that blurs your screen when you slouch.

Swift 2,441 64 Updated Apr 29, 2026

Infrastructure that's powering E2B Cloud.

Go 1,119 322 Updated May 20, 2026

Open-source, secure environment with real-world tools for enterprise-grade agents.

Python 12,287 912 Updated May 20, 2026

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…

Rust 5,663 656 Updated May 20, 2026

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Python 316 21 Updated May 19, 2026

Convert XState v5 state machines from Typescript to Mermaid stateDiagram-v2 format with stately.ai UX parity.

TypeScript 11 1 Updated Jan 13, 2026

Skill to talk to Claude about your projects over the phone

Python 165 19 Updated Jan 6, 2026

High performance and CommonMark compliant HTML to Markdown converter. Maintained by the Kreuzberg team. Kreuzberg is a fast, polyglot document intelligence engine with a Rust core. It extracts stru…

HTML 727 57 Updated May 20, 2026

The open source coding agent.

TypeScript 163,048 19,225 Updated May 20, 2026
TypeScript 6 Updated Jan 22, 2026

The TypeScript implementation of Connect: Protobuf RPC that works.

TypeScript 1,745 117 Updated May 20, 2026
Python 17 7 Updated Jun 5, 2025

Simple, Elegant, Typed Argument Parsing with argparse

Python 539 63 Updated Jan 20, 2026

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

F# 734 98 Updated May 16, 2026

[ICML 2026 Spotlight] Latent Collaboration in Multi-Agent Systems

Python 952 141 Updated May 1, 2026

data load tool (dlt) is an open source Python library that makes data loading easy 🛠️

Python 5,342 508 Updated May 20, 2026

Linux namespaces and seccomp-bpf sandbox

C 7,394 666 Updated May 18, 2026

The A2A x402 Extension brings cryptocurrency payments to the Agent-to-Agent (A2A) protocol, enabling agents to monetize their services through on-chain payments. This extension revives the spirit o…

Python 515 124 Updated May 20, 2026
Next