Skip to content

@fu-dietersheim Freie Universität Dietersheim

Change the repository type filter

All

    Repositories list

    10 repositories

    • wholesome-blog

      Public archive
      A wholesome blog
      HTML
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 3, 2018Mar 3, 2018

    • Blockchain

      Public archive
      A verified permissioned centralized Blockchain for Isabelle/HOL
      blockchaincentralizedcyberformal-verificationdistributed-ledgerpermissioned
      Isabelle
      •
      GNU General Public License v3.0
      •6•11•0•0•Updated Feb 3, 2018Feb 3, 2018

    • nukular

      Public
      Das Wort heißt nukular.
      CoffeeScript
      •
      MIT License
      •17k•2•0•0•Updated Aug 13, 2017Aug 13, 2017

    • fu-dietersheim.github.io

      Public
      Webseite der Freien Universität Dietersheim
      HTML
      •1•3•0•0•Updated Jul 30, 2017Jul 30, 2017

    • verifuck

      Public
      This is a terrible idea that should never have happened
      Isabelle
      •
      MIT License
      •0•0•0•0•Updated Jul 30, 2017Jul 30, 2017

    • MoonGen

      Public
      MoonGen95
      Lua
      •
      MIT License
      •235•1•0•0•Updated Aug 25, 2016Aug 25, 2016

    • theology

      Public
      ontological argument in Isabelle/HOL
      Isabelle
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Aug 13, 2016Aug 13, 2016

    • isabelle-lol

      Public
      Isabelle/Lower Order Logic
      Isabelle
      •
      GNU Lesser General Public License v3.0
      •0•0•1•0•Updated Jul 13, 2015Jul 13, 2015

    • fully_verified_jvm

      Public
      A fully verified implementation of the Java Virtual Machine
      C
      •
      GNU Lesser General Public License v3.0
      •0•9•0•0•Updated Jun 26, 2015Jun 26, 2015

    • hol-falso

      Public
      The Falso axiomatic system for Isabelle/HOL
      Do What The F*ck You Want To Public License
      •0•7•0•0•Updated Mar 31, 2013Mar 31, 2013