Indexed Artifacts (28.7M)

Popular Categories

Artifacts using Flexmark All (507)

Sort: popular | newest
webdriver-factory
Last Release on May 31, 2022
digital-engagement-platform-chat
Last Release on May 26, 2022
Library for converting markdown with code and plantuml to local html page.
Last Release on Jul 4, 2022
dc-message-library
Last Release on May 16, 2022
SANSA Parent project for managing common dependencies, plugins, meta-data, properties, etc.
Last Release on Mar 29, 2022
Succinct Wiki Plugin
Last Release on Mar 22, 2022
A purely functional library to develop distributed and event driven systems.
Last Release on Feb 24, 2022
slug-builder
Last Release on Jan 27, 2022
franz
Last Release on May 9, 2022
This library allows to control an Isabelle process (https://isabelle.in.tum.de/) from a Scala program. It allows to execute ML code inside the Isabelle process, and to operate on theories, theorems, terms, etc. See the README (https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md) for more information.
Last Release on Dec 27, 2021