tamarit / pn_suiteLinks
A suite of tools for Petri Nets
☆13Updated 2 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 2 years ago
- An implementation of the reversible semantics for Erlang.☆13Updated 7 years ago
- Erlang Declarative Debugger☆20Updated 4 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 3 years ago
- common runtime environment for distributed programming languages☆22Updated 4 months ago
- ☆54Updated 11 years ago
- Binary functions for Erlang (trim, reverse, bxor, band)☆19Updated 9 years ago
- Lazy iterables in erlang☆12Updated 8 years ago
- traverse erlang ast and elixir macro in erlang.☆17Updated 2 years ago
- A metaprogramming library for Erlang.☆17Updated 2 years ago
- ☆10Updated this week
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆11Updated 3 years ago
- Rebar3 plugin to generate CycloneDX SBoM☆10Updated 9 months ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Updated 8 years ago
- Run an OCaml program as an erlang node☆29Updated 9 years ago
- An Erlang library pertaining to consensus democracy, including Condorcet voting☆10Updated 3 months ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- 💠 UPL: Мова опису кредитних програм☆20Updated 9 years ago
- An Erlang/Tcl Interface☆9Updated 8 months ago
- fuse for erlang (rebarified version)☆24Updated 2 years ago
- Make rpc:calls from erlang to haskell☆17Updated 10 years ago
- Micro benchmarking Erlang library☆19Updated 4 years ago
- An Erlang Tuple Space implementation☆10Updated 4 months ago
- ☆24Updated last month
- Erlang foreign function interface.☆24Updated 4 months ago
- library for modeling Petri nets in Erlang☆64Updated 4 months ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆19Updated 5 years ago
- Rebar plug-in for GRiSP☆23Updated 2 weeks ago
- Type Safe Erlang☆12Updated 7 years ago
- A rebar plugin for running custom commands☆16Updated 3 years ago