Popular repositories Loading

1. energy-py-linear energy-py-linear Public

   Forked from ADGEfficiency/energy-py-linear

   Optimizing energy systems using mixed integer linear programming

   Python

2. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

   Standard ML

3. cakeml cakeml Public

   Forked from CakeML/cakeml

   CakeML: A Verified Implementation of ML

   Standard ML

4. secure-e-voting-with-coq secure-e-voting-with-coq Public

   Forked from gerlion/secure-e-voting-with-coq

   OCaml

5. helios-server helios-server Public

   Forked from benadida/helios-server

   Helios server

   Python