Skip to content
@fu-dietersheim

Freie Universität Dietersheim

Popular repositories Loading

  1. Blockchain Blockchain Public archive

    A verified permissioned centralized Blockchain for Isabelle/HOL

    Isabelle 11 6

  2. fully_verified_jvm fully_verified_jvm Public

    A fully verified implementation of the Java Virtual Machine

    C 9

  3. hol-falso hol-falso Public

    The Falso axiomatic system for Isabelle/HOL

    7

  4. fu-dietersheim.github.io fu-dietersheim.github.io Public

    Webseite der Freien Universität Dietersheim

    HTML 3 1

  5. nukular nukular Public

    Forked from atom/atom

    Das Wort heißt nukular.

    CoffeeScript 2

  6. MoonGen MoonGen Public

    Forked from emmericp/MoonGen

    MoonGen95

    Lua 1

Repositories

Showing 10 of 10 repositories
  • wholesome-blog Public archive

    A wholesome blog

    fu-dietersheim/wholesome-blog’s past year of commit activity
    HTML 0 Apache-2.0 0 0 0 Updated Mar 3, 2018
  • Blockchain Public archive

    A verified permissioned centralized Blockchain for Isabelle/HOL

    fu-dietersheim/Blockchain’s past year of commit activity
    Isabelle 11 GPL-3.0 6 0 0 Updated Feb 3, 2018
  • nukular Public Forked from atom/atom

    Das Wort heißt nukular.

    fu-dietersheim/nukular’s past year of commit activity
    CoffeeScript 2 MIT 18,458 0 0 Updated Aug 13, 2017
  • fu-dietersheim.github.io Public

    Webseite der Freien Universität Dietersheim

    fu-dietersheim/fu-dietersheim.github.io’s past year of commit activity
    HTML 3 1 0 0 Updated Jul 30, 2017
  • verifuck Public

    This is a terrible idea that should never have happened

    fu-dietersheim/verifuck’s past year of commit activity
    Isabelle 0 MIT 0 0 0 Updated Jul 30, 2017
  • MoonGen Public Forked from emmericp/MoonGen

    MoonGen95

    fu-dietersheim/MoonGen’s past year of commit activity
    Lua 1 MIT 239 0 0 Updated Aug 25, 2016
  • theology Public

    ontological argument in Isabelle/HOL

    fu-dietersheim/theology’s past year of commit activity
    Isabelle 0 GPL-3.0 0 0 0 Updated Aug 13, 2016
  • isabelle-lol Public

    Isabelle/Lower Order Logic

    fu-dietersheim/isabelle-lol’s past year of commit activity
    Isabelle 0 LGPL-3.0 0 1 (1 issue needs help) 0 Updated Jul 13, 2015
  • fully_verified_jvm Public

    A fully verified implementation of the Java Virtual Machine

    fu-dietersheim/fully_verified_jvm’s past year of commit activity
    C 9 LGPL-3.0 0 0 0 Updated Jun 26, 2015
  • hol-falso Public

    The Falso axiomatic system for Isabelle/HOL

    fu-dietersheim/hol-falso’s past year of commit activity
    7 WTFPL 0 0 0 Updated Mar 31, 2013

Top languages

Loading…

Most used topics

Loading…