[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods

Midspace (formerly Clowdr) is a completely open-source virtual conference platform. Host complex events with hundreds of authors and presenters. Midspace includes automated livestreams, video chat,…

The spacetime framework for simulations

Sourcerer's Code Clone project

C# extension method for fast object cloning.

Open Source Continuous File Synchronization

A web crawler in Python

Tools, services and applications for source code analysis and search