Pinned Loading

1. citadelle citadelle Public

   Forked from object-logics/citadelle

   Local mirror of https://git.logicalhacking.com/ftuong/hol-ocl-2.0

   Isabelle

2. isabelle_para isabelle_para Public

   Forked from object-logics/isabelle_para

   Local mirror of http://isabelle.in.tum.de/repos/isabelle and https://projects.brucker.ch/hol-testgen/log/trunk/hol-testgen/add-ons/Featherweight-OCL/src/compiler_generic/isabelle_para

   Isabelle

3. mlton mlton Public

   Forked from MLton/mlton

   The MLton repository

   Standard ML 1

4. happy happy Public

   Forked from haskell/happy

   The Happy parser generator for Haskell

   Haskell 1

5. language-c language-c Public

   Forked from visq/language-c

   Source repository for https://hackage.haskell.org/package/language-c

   Haskell 1

6. l4v l4v Public

   Forked from seL4/l4v

   seL4 specification and proofs

   Isabelle 1