pygments-jml-key

Last released Nov 28, 2022

Pygments lexer for the Java Modeling Language and KeY Theorem Prover files

smvceviz

Last released Dec 7, 2015

Visualize the Traces of NuSMV and NuXMV

xorblast

Last released Oct 23, 2015

Blasting of XOR clauses in DIMACS files.

pyclictk

Last released Jun 12, 2015

Python Support Common Toolkit's (CTK) Command Line Interface (CLI)

cli2msml

Last released Apr 30, 2015

Converter for CLI apps into MSML Operators

register

Last released Mar 17, 2015

registry for functions and classes

cli2web

Last released Mar 9, 2015

Wraps cli applications to web services

murmgr

Last released Jan 3, 2015

Management of MSML User Packages and Repositories

hf3lint

Last released Sep 1, 2014

Linter for Hiflow3

restflow

Last released Aug 30, 2014

Interactive Hiflow3 Simulation an HTTP Request far away

ansitagcolor

Last released May 10, 2014

ansi color output defined by tags within the output

gender-guess

Last released Apr 19, 2014