Skip to content
@abstools

abstools

Pinned Loading

  1. abstools Public

    The ABS modeling language and surrounding tools

    Java 37 31

  2. easyinterface Public

    A web frontend for the ABS toolchain

    JavaScript 10 6

  3. absexamples Public

    ABS Examples

    JavaScript 4 4

Repositories

Showing 10 of 26 repositories
  • abstools Public

    The ABS modeling language and surrounding tools

    Java 37 BSD-3-Clause 31 71 (2 issues need help) 7 Updated Apr 14, 2025
  • abstools.github.io Public

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

    HTML 0 0 0 0 Updated Apr 3, 2025
  • abs-models.org Public archive

    The language website

    HTML 0 3 0 0 Updated Mar 12, 2025
  • tree-sitter-abs Public
    0 0 0 0 Updated Mar 12, 2025
  • abs-vs-code Public

    Support for ABS in the editor Visual Studio Code.

    TypeScript 0 MIT 1 4 0 Updated Dec 17, 2024
  • abs-mode Public

    Support for ABS in the Emacs editor.

    Emacs Lisp 2 GPL-3.0 3 0 0 Updated Dec 17, 2024
  • absexamples Public

    ABS Examples

    JavaScript 4 4 1 0 Updated Aug 26, 2024
  • easyinterface Public

    A web frontend for the ABS toolchain

    JavaScript 10 BSD-3-Clause 6 1 0 Updated Mar 24, 2020
  • logreplay Public

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

    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

    Haskell 1 BSD-3-Clause 0 0 0 Updated Dec 5, 2018
View all repositories