Repositories list

• abstools

  Public
  The ABS modeling language and surrounding tools

  Java

  •

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

  •31•36•70•7•Updated Dec 20, 2024Dec 20, 2024

• abs-vs-code

  Public
  Support for ABS in the editor Visual Studio Code.

  vscodevscode-extension

  TypeScript

  •

  MIT License

  •1•0•4•0•Updated Dec 17, 2024Dec 17, 2024

• abs-mode

  Public
  Support for ABS in the Emacs editor.

  Emacs Lisp

  •

  GNU General Public License v3.0

  •3•2•0•0•Updated Dec 17, 2024Dec 17, 2024

• abstools.github.io

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

  HTML

  •0•0•0•0•Updated Nov 7, 2024Nov 7, 2024

• abs-models.org

  Public
  The language website

  HTML

  •3•0•0•0•Updated Nov 7, 2024Nov 7, 2024

• absexamples

  Public
  ABS Examples

  JavaScript

  •4•4•1•0•Updated Aug 26, 2024Aug 26, 2024

• easyinterface

  Public
  A web frontend for the ABS toolchain

  easyinterface

  JavaScript

  •

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

  •6•10•1•0•Updated Mar 24, 2020Mar 24, 2020

• logreplay

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

  Python

  •1•4•1•0•Updated Jun 7, 2019Jun 7, 2019

• abs-haskell-formal

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

  Haskell

  •

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

  •0•1•0•0•Updated Dec 5, 2018Dec 5, 2018

• abs-bench

  Public
  The benchmark suite comparing the different ABS backends

  Shell

  •0•0•1•0•Updated Oct 20, 2018Oct 20, 2018

• language-abs

  Public
  Support for ABS in the Atom editor

  CoffeeScript

  •

  MIT License

  •0•0•0•0•Updated Jul 4, 2018Jul 4, 2018

• bbedit

  Public
  Support for ABS in the BBEdit editor.

  MIT License

  •0•0•0•0•Updated Jul 4, 2018Jul 4, 2018

• habs

  Public
  The Haskell backend for the ABS modeling language

  Haskell

  •

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

  •0•0•17•0•Updated May 2, 2018May 2, 2018

• habs-frh

  Public
  The Fredhopper case study built for HABS (ABS haskell backend)

  HTML

  •0•0•0•0•Updated Apr 20, 2018Apr 20, 2018

• habs-runtime

  Public
  The runtime library, part of the Haskell backend for ABS (habs)

  Haskell

  •

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

  •0•0•0•0•Updated Oct 17, 2017Oct 17, 2017

• habs-parser

  Public
  The parser, part of the Haskell backend for ABS (habs)

  Haskell

  •

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

  •1•0•2•0•Updated Jun 7, 2017Jun 7, 2017

• habs-samples

  Public
  ABS code snippets used for testing the Haskell backend for ABS (habs)

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

  •0•0•0•0•Updated May 22, 2017May 22, 2017

• habs-stdlib

  Public
  The ABS standard library, part of the Haskell backend for ABS (habs)

  Haskell

  •

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

  •0•0•0•0•Updated Mar 8, 2017Mar 8, 2017

• distributed-PA

  Public
  Haskell

  •0•0•0•0•Updated Feb 24, 2017Feb 24, 2017

• metviz

  Public
  A tool that relays metrics (as time-series) from an HTTP endpoint in an ABS model to InfluxDB for visualization

  Python

  •0•1•1•0•Updated Nov 22, 2016Nov 22, 2016

• saga

  Public
  A code generator for ABS monitors from declarative grammars.

  0•1•0•0•Updated Nov 15, 2016Nov 15, 2016

• abs-dc

  Public
  ABS Deployment Components

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 19, 2016Feb 19, 2016

• timsort-benchmark

  Public
  Java TimSort Benchmarking

  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Apr 20, 2015Apr 20, 2015

• abs-dining-philosophers

  Public
  The classic Dining Philosophers Problem expressed in the ABS Modeling Language

  1•1•0•0•Updated Apr 16, 2015Apr 16, 2015

• java-timsort-bug

  Public
  How to break TimSort and how to fix it

  Java

  •

  Apache License 2.0

  •13•83•0•0•Updated Feb 16, 2015Feb 16, 2015