|
None |
3 |
:microscope: verification of bpmn |
Apr 07, 2023 |
|
JavaScript |
3 |
Internal tools for bpmn-visualization |
Jul 10, 2021 |
|
JavaScript |
29 |
:microscope: Download panel for Chrome's developer tools. |
Apr 05, 2023 |
|
JavaScript |
3 |
:microscope: :syringe: tools for writing evm code by hand |
Apr 09, 2020 |
|
Haskell |
48 |
Galois RISC-V ISA Formal Tools |
Mar 26, 2023 |
|
Java |
24 |
Tools for generating missing BPMNDiagram elements in BPMN files |
Aug 11, 2022 |
|
Shell |
3 |
overlay mainly for automated provers and formal method tools |
Oct 25, 2015 |
|
TypeScript |
88 |
Edit BPMN 2.0 files. Based on bpmn.io tools. |
Jul 27, 2022 |
|
Python |
4 |
a collection of tools to work with BPMN |
Jan 07, 2024 |
|
JavaScript |
5 |
Translate BPMN Diagrams Using bpmn-js and the BPMN 2.0 Extension for Internationalization |
Mar 10, 2023 |
|
None |
2 |
:roller_coaster: :microscope: My experiments with languages, tools and concepts. |
Apr 11, 2023 |
|
R |
7 |
:microscope: Tools to Query the 'Merit' 'RADb' Network Route Server |
Jun 16, 2022 |
|
Python |
2 |
Electron Microscope tools written in Python re-written from MATLAB |
Jul 15, 2022 |
|
Objective-C++ |
128 |
Formal to Formal Mathematics Benchmark |
Aug 12, 2022 |
|
JavaScript |
7 |
BPMN Editor for Frappe |
Jan 28, 2023 |
|
TypeScript |
3 |
BPMN components for Angular |
May 20, 2023 |
|
JavaScript |
14 |
A offline modeler for BPMN 2.0 diagrams based on bpmn-js |
Feb 20, 2020 |
|
Ruby |
11 |
A web page with resources for teaching with formal methods and tools. |
Apr 08, 2023 |
|
TypeScript |
4 |
bpmn js,camunda,anyi process ee bpmn demo |
Mar 01, 2023 |
|
CoffeeScript |
2 |
:microscope: A REPL for Node. |
Aug 13, 2022 |
|
JavaScript |
12 |
Simple comments for bpmn-js |
Apr 29, 2022 |
|
TypeScript |
5 |
BPMN Modeler for VS Code |
Feb 23, 2023 |
|
JavaScript |
45 |
Internationalization resources for bpmn-js |
Aug 11, 2022 |
|
JavaScript |
2 |
Camunda behaviors for bpmn-js |
Nov 18, 2022 |
|
JavaScript |
2 |
Examples for camunda-bpmn-js |
Apr 27, 2023 |
|
Kotlin |
14 |
Workflow Linter for BPMN workflows |
Nov 08, 2021 |
|
C++ |
8 |
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools |
Apr 26, 2022 |
|
Makefile |
2 |
Formal model for requirements |
Jan 06, 2022 |
|
Coq |
2 |
Formal semantics for LIO |
Apr 15, 2019 |
|
Dockerfile |
11 |
laravel microscope action |
Apr 29, 2022 |
|
Elixir |
2 |
:droplet: :books: :microscope: |
Jul 13, 2022 |
|
Ruby |
3 |
:microscope::monkey::file_folder: |
Mar 03, 2017 |
|
Python |
3 |
STEM microscope simulator |
Jul 04, 2022 |
|
Python |
6 |
coPylot - microscope control |
Mar 29, 2023 |
|
JavaScript |
9 |
Properties panel for bpmn-js, built on top of @bpmn-io/properties-panel. |
Jun 16, 2022 |
|
JavaScript |
36 |
A command line interface for bpmn-js. BPMN 2.0 modeling that just works! |
Mar 11, 2022 |
|
Java |
5 |
External Task Worker for TAXII-springboot-bpmn https://github.com/StephenOTT/TAXII-springboot-bpmn |
Mar 13, 2023 |
|
Java |
3 |
Activiti workflow , bpmn |
Dec 28, 2016 |
|
JavaScript |
2 |
bpmnjs-modeler based on bpmn-io/bpmn-js-examples/modeler/ |
Apr 24, 2023 |
|
R |
3 |
:cow2: :microscope: :computer: Repository of tools for data analysis in genomics and animal genetic improvement. |
Sep 09, 2022 |
|
Python |
8 |
The formal |
Apr 13, 2023 |
|
Common Workflow Language |
9 |
:microscope: Somatic workflow for Kids-First |
Feb 27, 2023 |
|
JavaScript |
4 |
Image database for pharmbio microscope images |
Mar 16, 2023 |
|
Go |
4 |
A BPMN engine. A WASM variant of lib-bpmn-engine. Playground and Showcase interactive BPMN modelling and … |
Mar 13, 2023 |
|
Java |
4 |
Convert JSON to BPMN for flowable. |
Aug 16, 2022 |
|
Vue |
5 |
Convert JSON to BPMN for activiti. |
Aug 26, 2022 |
|
Java |
8 |
Convert JSON to BPMN for camunda. |
Aug 29, 2022 |
|
JavaScript |
9 |
Visual diffs for BPMN 2.0 diagrams |
May 21, 2022 |
|
JavaScript |
19 |
A sketchy renderer for bpmn-js. |
Mar 11, 2022 |
|
JavaScript |
50 |
Camunda moddle extensions for BPMN 2.0 |
Aug 12, 2022 |