Repositories list

• TorXakis

  Public
  A tool for Model Based Testing

  testmodeltest-suite+ 6

  testmodeltest-suiteformal-methodstesting-frameworktest-case-generationtesting-toolcomposable-modelsexecutable-specification

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •1313 forks in TorXakis/TorXakis•5151 stars in TorXakis/TorXakis•325325 issues in TorXakis/TorXakis•11 pull request in TorXakis/TorXakis•Updated Sep 21, 2026Sep 21, 2026

• torxakis.github.io

  Public
  main website

  website

  website

  HTML

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork in TorXakis/torxakis.github.io•00 stars in TorXakis/torxakis.github.io•00 issues in TorXakis/torxakis.github.io•00 pull requests in TorXakis/torxakis.github.io•Updated Oct 24, 2025Oct 24, 2025

• text-via-sockets

  Public
  Send Text lines using sockets

  sockethaskellnetworking+ 1

  sockethaskellnetworkinghaskell-library

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •22 forks in TorXakis/text-via-sockets•33 stars in TorXakis/text-via-sockets•33 issues in TorXakis/text-via-sockets•11 pull request in TorXakis/text-via-sockets•Updated May 30, 2024May 30, 2024

• examples

  Public
  Examples for TorXakis

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •22 forks in TorXakis/examples•00 stars in TorXakis/examples•00 issues in TorXakis/examples•00 pull requests in TorXakis/examples•Updated Oct 11, 2022Oct 11, 2022

• Dependencies

  Public
  Versions of external software TorXakis depends on

  Roff

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks in TorXakis/Dependencies•00 stars in TorXakis/Dependencies•00 issues in TorXakis/Dependencies•00 pull requests in TorXakis/Dependencies•Updated Sep 21, 2022Sep 21, 2022

• homebrew-TorXakis

  Public
  Homebrew repository for TorXakis

  macoshomebrew

  macoshomebrew

  Ruby

  •00 forks in TorXakis/homebrew-TorXakis•11 star in TorXakis/homebrew-TorXakis•00 issues in TorXakis/homebrew-TorXakis•00 pull requests in TorXakis/homebrew-TorXakis•Updated Sep 20, 2022Sep 20, 2022

• mps-TorXakis

  Public
  A definition of the TorXakis language in MPS

  JetBrains MPS

  •00 forks in TorXakis/mps-TorXakis•11 star in TorXakis/mps-TorXakis•99 issues in TorXakis/mps-TorXakis•00 pull requests in TorXakis/mps-TorXakis•Updated Sep 1, 2022Sep 1, 2022

• develdocs

  Public
  Development documentation for TorXakis

  documentation

  documentation

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks in TorXakis/develdocs•00 stars in TorXakis/develdocs•00 issues in TorXakis/develdocs•00 pull requests in TorXakis/develdocs•Updated Apr 25, 2022Apr 25, 2022

• userdocs

  Public
  User documentation for TorXakis

  documentation

  documentation

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks in TorXakis/userdocs•00 stars in TorXakis/userdocs•11 issue in TorXakis/userdocs•00 pull requests in TorXakis/userdocs•Updated Apr 22, 2022Apr 22, 2022

• yed2stautdef

  Public
  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks in TorXakis/yed2stautdef•00 stars in TorXakis/yed2stautdef•00 issues in TorXakis/yed2stautdef•00 pull requests in TorXakis/yed2stautdef•Updated Sep 15, 2021Sep 15, 2021

• SourceWindowsInstaller

  Public
  Code for a Windows installer of TorXakis

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks in TorXakis/SourceWindowsInstaller•00 stars in TorXakis/SourceWindowsInstaller•11 issue in TorXakis/SourceWindowsInstaller•00 pull requests in TorXakis/SourceWindowsInstaller•Updated Jan 6, 2020Jan 6, 2020

• SupportEclipse

  Public
  Support for editing TorXakis files in Eclipse

  eclipse-plugineditor-plugin

  eclipse-plugineditor-plugin

  BSD 3-Clause "New" or "Revised" License

  •22 forks in TorXakis/SupportEclipse•00 stars in TorXakis/SupportEclipse•11 issue in TorXakis/SupportEclipse•11 pull request in TorXakis/SupportEclipse•Updated Aug 16, 2019Aug 16, 2019

• SupportEmacs

  Public
  Support for editing TorXakis models on Emacs

  Emacs Lisp

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks in TorXakis/SupportEmacs•00 stars in TorXakis/SupportEmacs•00 issues in TorXakis/SupportEmacs•00 pull requests in TorXakis/SupportEmacs•Updated May 29, 2018May 29, 2018

• SupportNotepadPlusPlus

  Public
  Support for editing TorXakis files in Notepad++

  editor-pluginnotepad-plusplus-plugin

  editor-pluginnotepad-plusplus-plugin

  BSD 3-Clause "New" or "Revised" License

  •22 forks in TorXakis/SupportNotepadPlusPlus•00 stars in TorXakis/SupportNotepadPlusPlus•00 issues in TorXakis/SupportNotepadPlusPlus•00 pull requests in TorXakis/SupportNotepadPlusPlus•Updated Jul 21, 2017Jul 21, 2017