project name

recommended release

The F# Web Tools augment the F# distribution with tools to author homogeneous client/server/database web applications in one type-checked project. The modal distinctions between client and server are checked through the use of F# workflows, and LINQ can be used for database ac...

Message Passing Interface (MPI) is the standard of message passing in a distributed computing environment. Its benefit for researchers is invaluable.
The idea is to have many machines on a high-speed network, clusters of computers running the same program. Recently, with the...

STORM is a free and open source tool for testing web services.
It is written mostly in F#. (I love this language!)
STORM allows you to
1. Test web services written using any technology (.NET , Java, etc.)
2. Dynamically invoke web service methods even those that h...

Visual Studio Lab (VSLab) exploits the power of F# and its interactive top level to provide an interactive environment similar to MatLab and Mathematica, in which you can easily create Add-ins and interact dynamically with them inside Visual Studio. Moreover, since F# is a com...

AbcExplorationLib is a library to read and write ActionScript Byte Code (ABC) files. When completed it could be used for compiled program analysis or as part the back end of an experimental compiler.
It is written in F# but it could be used from other .NET languages.

Implementation of John Backus's programming language FP in Silverlight and F#.
Based on original ocaml project by Christophe Deleuze
http://christophe.deleuze.free.fr/D/fp.html
There is also a wiki on FP (in russian!) that makes use of the interpreter

The Parallel Dwarfs project is a suite of 13 kernels (as VS projects in C++/C#/F#) parallelized using various technologies such as MPI, OpenMP, TPL, MPI.Net, etc. It also has a driver to run them, collect traces, and visualize the results using Vampir, Jumpshot, Xperf and Excel

Introduced by Alonzo Church and his student Stephen Cole Kleene in the 1930s to
study computable functions.
A (very simple) formal system for defining functions and their operational meanings,
yet is shown to be as powerful as other systems.