F# MCP server with FsAutoComplete and FCS bridge

A Rocq translation of various database systems

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.