Popular repositories Loading

2. Forked from epfl-lara/inox

   Solver interface for higher-order functional programs

   Scala

3. Forked from epfl-lara/stainless

   Verification framework for higher-order functional programs

   Scala

4. Forked from microsoft/vscode-cpptools

   Official repository for filing issues against and getting support for the Microsoft C/C++ extension for VS Code

   TypeScript

5. Forked from epfl-lara/smart

   Verification and Generation of Smart Contracts using Stainless and Scala

   Scala

6. Forked from DefectDojo/django-DefectDojo

   DefectDojo is an open-source application vulnerability correlation and security orchestration tool.

   HTML