A collaborative list of awesome Zig libraries and resources.

The biggest TUI framework for Zig

C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)

Flow Control: a programmer's text editor

Suave is a simple web development F# library providing a lightweight web server and a set of combinators to manipulate route flow and task composition.

A list of C# Source Generators (not necessarily awesome) and associated resources: articles, talks, demos.

A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent

Understanding compilers through algebra

A polyglot REPL built on .NET Interactive

The HOL Light theorem prover

🪻 A Type-Safe, Purely Functional Effect System for Asynchronous and Concurrent F#

Einkommensrechner: Vergleich Arbeit (angestellt) vs. Bürgergeld — Deutschland, Rechtsstand 2026

LLM inference engine written in .NET

Prolog, Datalog, languages, resources, and beyond!

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some d…

A lightweight tool for deploying and managing containerised applications across a network of Docker hosts. Bridging the gap between Docker and Kubernetes ✨

F# MCP server with FsAutoComplete and FCS bridge

Easy to use .NET library for data and time series manipulation and for scientific programming

The age verification status of Open Source Operating Systems

A private messenger for Windows, macOS, and Linux.

API client for Kraken API

A deterministic, reflection‑free serialization and RPC platform for F#. Powered by Serde‑style source generation for .NET and (soon) Fable.

An engine for building F# source generators.

LLM inference in F#

SMT-based reasoning core for Lean4

Formal Verification of the Midgard Protocol in Lean4

Practical generic programming for .NET

Build beautiful terminal UIs in F# — Elm Architecture, flexbox layout, 17+ widgets, SIMD rendering, zero dependencies.

My single‑file F# port of Martin Škuta’s single‑file C# implementation of Andrej Karpathy’s microgpt — no dependencies.

A minimalist lab for neural architectures in F#