This project aims to enhance the working environment on Windows

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#.

A robust option type for C#

Extensions for F#

compile time dependency injection for .NET

A categorical programming language with effects

Hypertypes - generic programming for heterogeneous recursive types

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

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