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

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

A lightweight and fast parsing library for C#.

This project aims to enhance the working environment on Windows

Extensions for F#

compile time dependency injection for .NET

Hypertypes - generic programming for heterogeneous recursive types

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

A robust option type for C#

A categorical programming language with effects

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