Indexed Artifacts (28.7M)

Popular Categories

Artifacts using Flexmark All (507)

Sort: popular | newest
Last Release on May 31, 2022
Last Release on May 26, 2022
Library for converting markdown with code and plantuml to local html page.
Last Release on Jul 4, 2022
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
Last Release on Jan 27, 2022
Last Release on May 9, 2022
This library allows to control an Isabelle process ( 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 ( for more information.
Last Release on Dec 27, 2021