Repositories list

• Hets

  Public
  The Heterogeneous Tool Set

  Haskell

  •

  GNU General Public License v2.0

  •19•57•639•11•Updated Jan 29, 2025Jan 29, 2025

• Hets-IDE

  Public
  A Hets development environment based on Visual Studio Code.

  TypeScript

  •1•3•5•13•Updated Jan 7, 2023Jan 7, 2023

• Hets-lib

  Public
  Basic libraries and other examples

  Isabelle

  •2•2•1•0•Updated Oct 9, 2022Oct 9, 2022

• uni

  Public
  Haskell

  •

  Other

  •0•0•0•0•Updated Jun 23, 2022Jun 23, 2022

• atom-hets-integration

  Public
  An Atom extension providing support for working with Hets.

  JavaScript

  •

  GNU General Public License v2.0

  •0•0•1•0•Updated Dec 18, 2018Dec 18, 2018

• Hets-GUI

  Public
  A modern GUI for Hets

  TypeScript

  •

  GNU General Public License v3.0

  •0•2•3•0•Updated Sep 21, 2018Sep 21, 2018

• scone-atom

  Public
  CoffeeScript

  •

  GNU Affero General Public License v3.0

  •2•0•0•0•Updated Aug 15, 2018Aug 15, 2018

• tree-sitter-scone

  Public
  Scone grammar for tree-sitter

  C

  •0•0•0•0•Updated Aug 15, 2018Aug 15, 2018

• hets-archlinux-build

  Public
  Building hets (on linux)

  Shell

  •1•0•3•0•Updated Jan 5, 2018Jan 5, 2018

• homebrew-hets

  Public
  homebrew tap for hets-related tools

  Ruby

  •3•0•1•0•Updated Jan 5, 2018Jan 5, 2018

• homebrew-ghc-7.10

  Public
  This is a Hombrew-Tap to get the old ghc 7.10

  Ruby

  •0•0•0•0•Updated Aug 16, 2016Aug 16, 2016

• homebrew-ghc-7.8

  Public
  This is a Hombrew-Tap to get the old ghc 7.8

  Ruby

  •0•0•0•0•Updated Oct 1, 2015Oct 1, 2015

• owl-s

  Public
  Automatically exported from code.google.com/p/owl-s

  Java

  •

  Other

  •0•2•0•0•Updated Aug 12, 2015Aug 12, 2015

• factplusplus

  Public
  Automatically exported from code.google.com/p/factplusplus

  C++

  •3•2•0•0•Updated Aug 12, 2015Aug 12, 2015

• attachment

  Public
  folders for tickets/issues containing attachments

  TeX

  •0•0•0•0•Updated Feb 16, 2015Feb 16, 2015