Thanks to visit codestin.com
Credit goes to github.com

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

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

JavaScript 285 25 Updated Feb 26, 2026

Symplex Protocol v0.1 — Semantic interoperability layer for AI agents (MCP extension)

Go 25 1 Updated Feb 22, 2026

A macOS app that blurs your screen when you slouch.

Swift 2,043 52 Updated Feb 22, 2026

Infrastructure that's powering E2B Cloud.

Go 921 257 Updated Feb 26, 2026

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

MDX 11,036 785 Updated Feb 25, 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,323 587 Updated Feb 26, 2026

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

Python 287 21 Updated Feb 18, 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 156 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 537 48 Updated Feb 25, 2026

The open source coding agent.

TypeScript 111,107 11,093 Updated Feb 26, 2026
TypeScript 5 Updated Jan 22, 2026

The TypeScript implementation of Connect: Protobuf RPC that works.

TypeScript 1,709 112 Updated Feb 2, 2026
Python 11 6 Updated Jun 5, 2025

Simple, Elegant, Typed Argument Parsing with argparse

Python 531 62 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 775 117 Updated Feb 9, 2026

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

Python 4,954 461 Updated Feb 26, 2026

Linux namespaces and seccomp-bpf sandbox

C 7,099 650 Updated Feb 25, 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 457 103 Updated Feb 2, 2026

AI Observability & Evaluation

Jupyter Notebook 8,664 726 Updated Feb 26, 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,871 1,985 Updated Feb 26, 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,246 239 Updated Feb 25, 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,686 174 Updated Feb 25, 2026

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

Rust 2,603 237 Updated Jan 25, 2026

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

Python 61,017 6,238 Updated Feb 25, 2026

pg_lake: Postgres with Iceberg and data lake access

C 1,427 80 Updated Feb 24, 2026

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

TypeScript 1,582 256 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
Next