• A modern GUI for Hets

    TypeScript GPL-3.0 Updated Sep 21, 2018
  • CoffeeScript 2 AGPL-3.0 Updated Aug 15, 2018
  • Scone grammar for tree-sitter

    C Updated Aug 15, 2018
  • The Heterogeneous Tool Set

    Haskell 16 7 GPL-2.0 Updated Jul 13, 2018
  • Basic libraries and other examples

    Isabelle 1 Updated Jul 1, 2018
  • Building hets (on linux)

    Shell 1 Updated Jan 5, 2018
  • homebrew tap for hets-related tools

    Ruby 2 Updated Jan 5, 2018
  • This is a Hombrew-Tap to get the old ghc 7.10

    Ruby Updated Aug 16, 2016
  • This is a Hombrew-Tap to get the old ghc 7.8

    Ruby Updated Oct 1, 2015
  • Automatically exported from code.google.com/p/owl-s

    Java Updated Aug 12, 2015
  • Automatically exported from code.google.com/p/factplusplus

    C++ 1 Updated Aug 12, 2015
  • folders for tickets/issues containing attachments

    TeX Updated Feb 16, 2015
  • 0

    People

    This organization has no public members. You must be a member to see who’s a part of this organization.