Popular repositories Loading

1. project-euler project-euler Public

   Solutions for Project Euler in Java and Haskell

   Java 1

2. energy-informatics energy-informatics Public

   Our goal is to design and implement an interactive front-end for a Python-based EV highway traffic simulation tool.

   TeX

3. leon leon Public

   Forked from epfl-lara/leon

   The Leon system for verification, synthesis, and more.

   Scala

4. ramifications-sharing-datastructures ramifications-sharing-datastructures Public

   Reasoning about mutable data structures in the presence of sharing.

   Isabelle

5. vue-slicksort vue-slicksort Public

   Forked from Jexordexan/vue-slicksort

   A set of vue mixins to turn any list into an animated, touch-friendly, sortable list ✌️

   JavaScript

6. restforce_mock restforce_mock Public

   Forked from ilyakatz/restforce_mock

   Mock out Restforce gem in testing

   Ruby