Popular repositories Loading

1. ScalaZ3 ScalaZ3 Public

   Forked from epfl-lara/ScalaZ3

   Binders and more to the Z3 SMT solver for Scala

   Scala 1

2. OpenELEC.tv OpenELEC.tv Public archive

   Forked from OpenELEC/OpenELEC.tv

   OpenELEC - The living room PC for everyone

   Shell

3. treesheets treesheets Public

   Forked from aardappel/treesheets

   TreeSheets : Free Form Data Organizer (see treesheets.com)

   C++

4. OpenWARP OpenWARP Public

   Forked from cloudspokes/OpenWARP

   Please visit http://nrel.github.io/OpenWARP/ for more information.

   Fortran

5. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

   Standard ML

6. mosml mosml Public

   Forked from kfl/mosml

   Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

   Standard ML