Pinned Loading

1. LS-Lab/KeYmaeraX-release LS-Lab/KeYmaeraX-release Public

   KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

   Scala 76 38

2. ocaml-krb ocaml-krb Public

   A native OCaml implementation of the Kerberos protocol based on MIT krb5

   OCaml 3 2

3. LS-Lab/Isabelle-dL LS-Lab/Isabelle-dL Public

   A formally verified implementation of differential dynamic logic in Isabelle

   Isabelle 4

4. fif fif Public

   Fortran In Fortran (Fortran 57 compiler in Fortran 08)

   Fortran 5 1

5. rosetta rosetta Public

   Contributions to RosettaCode

   Standard ML