A Heterogeneous Benchmark for Information Retrieval. Easy to use, evaluate your models across 15+ diverse IR datasets.

A static, type inferred and embeddable language written in Rust.

Extensions for runtime reflection and structural induction

A Common Intermediate Language backend for Idris 1

C# functional language extensions - a base class library for functional programming

Text framework for Idris

A simple continuous integration server built in C#

An HTML5 Canvas Coverflow like library

A mini HTML5 canvas multitouch drag and drop library.

A simple form validator that allows for complex validation scenarios and client side sharing (through browserify).

A command line tool to watch a directory tree for changes to .less files and output compiled .css files.

Lazy functional language compiler targeting LLVM.

CIL to Javascript Compiler

Markdown processing for Yesod

A SQL query engine for F# records (do not use, very early development)

A validation library for ASP.NET MVC and F# (and some other stuff)

(DEPRECATED) Plugins for use with PhoneGap.

browser-side require() the node.js way

A project to convert F# quotations to javascript

IronJS - A JavaScript implementation for .NET

A RESTful Haskell web framework built on WAI.