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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

A macOS app that blurs your screen when you slouch.

Swift 2,002 51 Updated Feb 12, 2026

Infrastructure that's powering E2B Cloud.

Go 891 251 Updated Feb 16, 2026

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

MDX 10,906 771 Updated Feb 15, 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,275 580 Updated Feb 16, 2026

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

Python 279 21 Updated Feb 12, 2026

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

TypeScript 8 Updated Jan 13, 2026

Skill to talk to Claude about your projects over the phone

Python 155 16 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 512 46 Updated Feb 15, 2026

The open source coding agent.

TypeScript 105,360 10,272 Updated Feb 16, 2026
TypeScript 5 Updated Jan 22, 2026

The TypeScript implementation of Connect: Protobuf RPC that works.

TypeScript 1,701 111 Updated Feb 2, 2026
Python 11 6 Updated Jun 5, 2025

Simple, Elegant, Typed Argument Parsing with argparse

Python 530 61 Updated Jan 20, 2026

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

F# 729 98 Updated Dec 15, 2025

Latent Collaboration in Multi-Agent Systems

Python 764 115 Updated Feb 9, 2026

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

Python 4,911 450 Updated Feb 16, 2026

Linux namespaces and seccomp-bpf sandbox

C 7,055 646 Updated Feb 15, 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 453 99 Updated Feb 2, 2026

AI Observability & Evaluation

Jupyter Notebook 8,556 720 Updated Feb 15, 2026

SigNoz is an open-source observability platform native to OpenTelemetry with logs, traces and metrics in a single application. An open-source alternative to DataDog, NewRelic, etc. 🔥 🖥. 👉 Open sour…

TypeScript 25,751 1,962 Updated Feb 16, 2026

Open source platform for AI Engineering: OpenTelemetry-native LLM Observability, GPU Monitoring, Guardrails, Evaluations, Prompt Management, Vault, Playground. 🚀💻 Integrates with 50+ LLM Providers,…

Python 2,208 237 Updated Feb 16, 2026

Deepnote is a drop-in replacement for Jupyter with an AI-first design, sleek UI, new blocks, and native data integrations. Use Python, R, and SQL locally in your favorite IDE, then scale to Deepnot…

TypeScript 2,649 170 Updated Feb 13, 2026

All-in-one platform for search, recommendations, RAG, and analytics offered via API

Rust 2,600 238 Updated Jan 25, 2026

🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & Scraper. Don't be shy, join here: https://discord.gg/jP8KfhDhyN

Python 60,186 6,130 Updated Feb 15, 2026

pg_lake: Postgres with Iceberg and data lake access

C 1,417 77 Updated Feb 16, 2026

Multi-agent AI coding platform powered by Vercel Sandbox and AI Gateway

TypeScript 1,551 246 Updated Feb 12, 2026

Multi-agent AI coding platform powered by Vercel Sandbox and AI Gateway

TypeScript 1 Updated Sep 30, 2025

Automate deploying Linux bare-metal servers in Hetzner using Ansible and Hetzner Robot API.

Jinja 47 6 Updated Apr 8, 2025

Grounded Docs MCP Server: Open-Source Alternative to Context7, Nia, and Ref.Tools

TypeScript 1,038 124 Updated Feb 10, 2026

Super basic implementation (gist-like) of RLMs with REPL environments.

Python 667 105 Updated Jan 7, 2026
Next