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

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