A miniature Prolog interpreter + compiler so I can write about it

A lightweight and fast parsing library for C#.

This project aims to enhance the working environment on Windows

Hypertypes - generic programming for heterogeneous recursive types

compile time dependency injection for .NET

A categorical programming language with effects

The official repo for the design of the C# programming language

Extensions for F#

Experiments with higher-kinded types and object algebras in C#

A robust option type for C#

C# pure functional programming framework - come and get declarative!