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
- common runtime environment for distributed programming languages☆23Updated last year
- An implementation of the reversible semantics for Erlang.☆13Updated 8 years ago
- Make rpc:calls from erlang to haskell☆17Updated 10 years ago
- Erlang Declarative Debugger☆20Updated 5 years ago
- ☆54Updated 12 years ago
- Supervised Session Actors☆22Updated 9 years ago
- ☆12Updated this week
- Erlang foreign function interface.☆25Updated last year
- Blas for erlang☆17Updated 2 years ago
- A simple Erlang Template Engine☆47Updated 13 years ago
- A basic worker pool manager for Erlang to showcase gen_pnet.☆25Updated last year
- Lazy iterables in erlang☆12Updated 9 years ago
- A rebar plugin for running custom commands☆16Updated 4 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 4 years ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆19Updated 6 years ago
- OTP diagrams using PlantUML☆12Updated 6 years ago
- Erlang flavored by Some ML☆36Updated 14 years ago
- Rebar plug-in for GRiSP☆23Updated last week
- traverse erlang ast and elixir macro in erlang.☆17Updated 3 weeks ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 6 years ago
- library for modeling Petri nets in Erlang☆65Updated last year
- Erlang LRU cache☆12Updated 6 years ago
- Rebar3 plugin to generate CycloneDX SBoM☆11Updated this week
- Misc Erlang Tools☆10Updated 2 years ago
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Updated 6 years ago
- A metaprogramming library for Erlang.☆17Updated 3 years ago
- Binary patten matching style syntax for erlang function guards☆17Updated 11 years ago
- 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
- experimenting with CRDTs in erlang☆32Updated 10 years ago