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)

VibeKit gives your AI the skills and tools to build on Algorand with one command.

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

Formalizing RFC 826 Address Resolution Protocol

FsMath is a lightweight maths library designed for modern F# workflows

A visual object tree inspector for the F# Interactive

A visual object tree inspector for the F# Interactive

F# Extensions and modules around Dictionary<'T>

Extensions for Array<'T> in F#

A cross-platform UI framework for .NET.

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

A compiler that brings F#'s elegance and precision to systems programming through MLIR and various backends

Formalizing the Intel 4004 microprocessor

🎓 Materials for my lectures including programming langauge design, software engineering and human-computer interaction.

📺 Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!

An F# immediate-mode TUI library inspired by Jane Street's Bonsai

Prototype for "dotnet run app.fs"-like functionality