Home Original page

abstools

  • abstools Public

    The ABS modeling language and surrounding tools

    abstools/abstools’s past year of commit activity

  • abs-vs-code Public

    Support for ABS in the editor Visual Studio Code.

    abstools/abs-vs-code’s past year of commit activity

    TypeScript 0 MIT

    1 3 0

    Updated Feb 26, 2026

  • abs-mode Public

    Support for ABS in the Emacs editor.

    abstools/abs-mode’s past year of commit activity

    Emacs Lisp

    2

    GPL-3.0

    3 0 0

    Updated Feb 11, 2026

  • abstools.github.io Public

    abs-models.org website deployment point. Source at abstools/abs-models.org/

    abstools/abstools.github.io’s past year of commit activity

    HTML 0 0

    0 0

    Updated Jun 25, 2025

  • abstools/abs-models.org’s past year of commit activity

    HTML 0

    3 0 0

    Updated Mar 12, 2025

  • abstools/tree-sitter-abs’s past year of commit activity

    0 0

    0 0

    Updated Mar 12, 2025

  • abstools/absexamples’s past year of commit activity

    JavaScript

    4 4 1 0

    Updated Aug 26, 2024

  • abstools/easyinterface’s past year of commit activity

    JavaScript

    10

    BSD-3-Clause

    5 1 0

    Updated Mar 24, 2020

  • logreplay Public

    A tool to replay a log file as a series of queries onto an HTTP endpoint.

    abstools/logreplay’s past year of commit activity

    Python

    4

    0

    1 0

    Updated Jun 7, 2019

  • abs-haskell-formal Public

    Translating a subset of ABS to pure Haskell for proving correctness and resource consumption

    abstools/abs-haskell-formal’s past year of commit activity

    Haskell

    1

    BSD-3-Clause 0

    0 0

    Updated Dec 5, 2018