h-mole

Melodie

A general framework for developing agent-based models in Python.

MelodieFuncFlow

Functional programming structure to easily take the advantages of functional programming.

qtpyeditor

An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This package is developed by PyMiner developing team.

pyvercompat

Convert Python source code with higher version semantic features to lower version, especially match...case... behaviors.

MetronomeStatic

Static analysis library with universal AST and CFG. Currently support C/CPP based on Clang, and will add more languages later.

pmgwidgets

A Widget Collection for PyMiner Project. Especially for creating forms by simple jsons, simple jupyter integrations\simple shell integrations\simple scientific data viewing and so on.

crest

CREST is a concolic test generation tool for C.

fta-fmea-ui

go-socket.io

socket.io library for golang, a realtime application framework.

imagepy

Image process framework based on plugin like imagej, it is esay to glue with scipy.ndimage, scikit-image, opencv, simpleitk, mayavi...and any libraries based on numpy

h-mole/uppaal-creator

Creator uppaal model through Networkx

h-mole/static-tool-result-normalizer

Tools to normalize static tools' results for further analysis

h-mole/libltl2ba

A library-fied version of ltl2ba

h-mole/py-ltl-parser

h-mole/py_nusmv_parser

Parser/Unparser for NuSMV in Python

h-mole/xstampp_model_parser

A parser for XSTAMPP models, especially generated LTL

h-mole/Simulink-Model-Parsing-Tools

read and write simulink model in python

h-mole/pyvercompat

Convert Python source code with higher version semantic features to lower version, especially match...case... behaviors.

h-mole/MetronomeStatic

Static analysis library with universal AST and CFG. Currently support C/CPP based on Clang, and will add more languages later.

h-mole/PyUPPAAL

PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.

h-mole/crest

CREST is a concolic test generation tool for C.

h-mole/unversal-ast-parser

h-mole/SequenceDiagramJava

Modelgoon seems to be throwing a null pointer when I try to use it, so I'm creating this quick-and-dirty tool to create sequence diagram out of java code

h-mole/MelodieFuncFlow

Functional programming structure to easily take the advantages of functional programming.

h-mole/fta-fmea-ui

h-mole/pydot-fork

Python interface to Graphviz's Dot language

h-mole/pydot

h-mole/python-template

h-mole/locksmith-docker

locksmith tool docker file

h-mole/go-socket.io

socket.io library for golang, a realtime application framework.

h-mole/testtravis

h-mole/mesa

Mesa is an agent-based modeling framework in Python

h-mole/pmgwidgets

A Widget Collection for PyMiner Project. Especially for creating forms by simple jsons, simple jupyter integrations\simple shell integrations\simple scientific data viewing and so on.

h-mole/qtpyeditor

An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This package is developed by PyMiner developing team.

h-mole/imagepy

Image process framework based on plugin like imagej, it is esay to glue with scipy.ndimage, scikit-image, opencv, simpleitk, mayavi...and any libraries based on numpy

h-mole/pagenote

让网页分享更方便，明确你想分享的目标。