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

AI-agent skills for distributed-systems testing

152 9 Updated May 20, 2026

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 21, 2026

Open source implementation of the Turborepo custom remote cache server.

TypeScript 1,442 150 Updated May 21, 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 21, 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 2,029 208 Updated May 21, 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 156 5 Updated May 21, 2026

AI agents running research on single-GPU nanochat training automatically

Python 82,495 11,971 Updated Mar 26, 2026

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

TypeScript 66,951 12,266 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,177 12,842 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,120 322 Updated May 21, 2026

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

Python 12,302 909 Updated May 21, 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,667 656 Updated May 20, 2026

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

Python 316 22 Updated May 20, 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 58 Updated May 21, 2026

The open source coding agent.

TypeScript 163,467 19,292 Updated May 21, 2026
TypeScript 7 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 955 142 Updated May 1, 2026

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

Python 5,350 508 Updated May 21, 2026

Linux namespaces and seccomp-bpf sandbox

C 7,395 666 Updated May 18, 2026
Next