Search Results for "work"

Roslyn provides rich, code analysis APIs to open source C# and Visual Basic compilers. This enables you to access a wealth of information about your code from compilers, which you can then use for code-related tasks in your tools and applications. Roslyn dramatically lowers the barrier to entry for creating code-focused tools and applications, creating many opportunities for innovation.

RSLisp is a new dialect of Lisp which works on the NET Framework with a special compilation/interpretation model. If you wish you can download the source and build it yourself for Linux (requires Mono Framework), but I don't promise that it'll work

"Sally - A Simple C++ IDE" is a simple development environment for WindowsXP or upper. The program is written in the C# programming language, and requires the Framework .Net 1.1 to run. It might work on Win98 or ME, but it has not been tested yet.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

This is a framework for the creation of dynamic scripting languages on the .NET platform. Static typing, type inference, and true derivation from .NET classes are also planned. Two projects built on this are Boa and NetLisp. It is a work in progress.