abstools

java-timsort-bug

How to break TimSort and how to fix it

abstools

The ABS modeling language and surrounding tools

easyinterface

A web frontend for the ABS toolchain

absexamples

ABS Examples

logreplay

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

abs-mode

Support for ABS in the Emacs editor.

abs-dining-philosophers

The classic Dining Philosophers Problem expressed in the ABS Modeling Language

abs-haskell-formal

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

metviz

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

saga

A code generator for ABS monitors from declarative grammars.

habs-frh

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

abs-bench

The benchmark suite comparing the different ABS backends

abs-dc

ABS Deployment Components

abs-models.org

The language website

abs-vs-code

Support for ABS in the editor Visual Studio Code.

abstools.github.io

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

bbedit

Support for ABS in the BBEdit editor.

distributed-PA

habs

The Haskell backend for the ABS modeling language

habs-parser

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

habs-runtime

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

habs-samples

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

habs-stdlib

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

language-abs

Support for ABS in the Atom editor

timsort-benchmark

Java TimSort Benchmarking