tamarit / pn_suiteLinks
A suite of tools for Petri Nets
☆13Updated 3 years ago
Alternatives and similar repositories for pn_suite
Users that are interested in pn_suite are comparing it to the libraries listed below
Sorting:
- SecEr: Erlang Code Evolution Control Tool☆12Updated 3 years ago
- Erlang Declarative Debugger☆20Updated 5 years ago
- common runtime environment for distributed programming languages☆22Updated 9 months ago
- An implementation of the reversible semantics for Erlang.☆13Updated 8 years ago
- ☆54Updated 12 years ago
- Rebar3 plugin to generate CycloneDX SBoM☆10Updated last year
- A rebar plugin for running custom commands☆16Updated 4 years ago
- Erlang foreign function interface.☆24Updated 9 months ago
- A simple Erlang Template Engine☆47Updated 13 years ago
- Small and flexible pool manager written in Erlang☆12Updated 6 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 4 years ago
- library for modeling Petri nets in Erlang☆63Updated 9 months ago
- Rebar plug-in for GRiSP☆23Updated 2 months ago
- Blas for erlang☆17Updated 2 years ago
- ☆12Updated last week
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Updated 9 years ago
- A basic worker pool manager for Erlang to showcase gen_pnet.☆24Updated 9 months ago
- Erlang LRU cache☆12Updated 6 years ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆19Updated 6 years ago
- Core library for erlpress☆20Updated 7 years ago
- Binary patten matching style syntax for erlang function guards☆17Updated 10 years ago
- erlang node discovery - simply start it and nodes will automatically connect☆13Updated 6 years ago
- An Erlang extension which adds HTML tags to the expression syntax.☆18Updated 6 years ago
- 💠 UPL: Мова опису кредитних програм☆20Updated 9 years ago
- experimenting with CRDTs in erlang☆32Updated 10 years ago
- Micro benchmarking Erlang library☆19Updated 4 years ago
- OTP diagrams using PlantUML☆12Updated 5 years ago
- Erlang and Elixir supervisors restart strategies☆11Updated 8 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Updated 5 years ago
- Paxos based masterless ID/Sequence generator.☆20Updated 6 years ago