Cryptographic protocols often go wrong; even experts can and do miss bugs. Our tools analyze reference implementations of protocols, proving security theorems, or finding vulnerabilities. Successfully applied to TLS, Windows Cardspace, Web Services. Tools in the Crypto Verification Kit F# is our selected language for writing security critical software. FS2PV, developed as part of the [...]

Coconut is a library for .net for working with matrix mathematics. Coconut is simple to use and presents a familiar interface to uses. However, all expressions are stored symbolically, which enables Coconut to provide a very powerful computation engine which exploits the symbolic nature of the expressions to agressively optimize and distribute the computation. Optimizing Matrix [...]

AsmL is an industrial-strength executable specification language. It can be used at any stage of the programming process: design, coding, or testing. It is fully integrated into the Microsoft .NET environment: AsmL models can interoperate with any other .NET assembly, no matter what source language it is written in. AsmL uses XML and Word for [...]

  The goal of the Ajax View project is to improve developer’s visibility into and control over their web applications’ behaviors on end-user’s desktops. Overview The goal of the Ajax View project is to improve developer’s visibility into and control over their web applications’ behaviors on end-user’s desktops. The Ajax View approach is to insert [...]

Microsoft Accelerator v1.1 is a high-level data parallel library which uses a DirectX 9 graphics processor (GPU) to accelerate code execution. It is designed to allow easy development of array-processing operations such as those which frequently arise in domains like image processing and scientific computing. Most modern client systems have a GPU and dedicated on-board [...]

.NET Reflector enables you to easily view, navigate, and search through, the class hierarchies of .NET assemblies, even if you don’t have the code for them. With it, you can decompile and analyze .NET assemblies in C#, Visual Basic, and IL. Download      Tweet This Post Digg This Post Reddit Stumble This Post

Here am coding the url’s for video tutorial for ASP.Net related tutorials. These videos are short 10-15 minute videos which pick a specific scenario and show step-by-step how to do that with the given technology.  About a year ago we started creating these videos for ASP.NET and ASP.NET AJAX and publishing them on www.asp.net, and the response [...]

SPDisposeCheck is a tool to help you to check your assemblies that use the SharePoint API so that you can build better code. It provides assistance in correctly disposing of certain SharePoint objects to help you follow published best practice. This tool may not show all memory leaks in your code. Further investigation is advised [...]

F# is a variant of the ML programming language for .NET and has a core language similar to OCaml. F# is a mixed functional/imperative/object-oriented programming language excellent for medium/advanced programmers and for teaching. It also can be used to access hundreds of .NET libraries, and the F# code can be accessed from C# and other [...]

This is a compiler for the Bulk-Synchronous GPU Programming (BSGP) language. BSGP is a new language for general-purpose computation on a graphics processing unit (GPU). BSGP programs look similar to sequential C programs, and programmers need to supply only a bare minimum of extra information to describe parallel processing on GPUs. As a result, BSGP [...]