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#

Repository for skills to assist AI coding agents with .NET and C#

SQLite bindings for Lean

A sample pack of GitHub Agentic Workflows!

Sage Mode for F# development — REPL with solution or project loading, Live Testing for FREE, Hot Reload, and session management.

The Lean Computer Science Library (CSLib)

The agentic stack for Algorand builders.

Ultra-lightweight, zero dependency, semantic HTML, CSS, JS UI library. ~8KB min+gz.

All About Berlin content, templates and backend

Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server

String module and extensions for F#

Algorand SDK for .Net Framework to interact with the Algorand network

A micro-framework built on top of Monogame for F# Devs

A composable AI agent framework for .NET.

A wrapper around F# interactive (fsi) that exposes an MCP server endpoint for AI agents allowing for fsi IO.

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Programming Languages Zoo