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
- Erlang Declarative Debugger☆20Updated 4 years ago
- An implementation of the reversible semantics for Erlang.☆13Updated 7 years ago
- common runtime environment for distributed programming languages☆22Updated 4 months ago
- Simple Neural Network in Erlang (based on http://www.trapexit.org/Erlang_and_Neural_Networks)☆18Updated 16 years ago
- ☆54Updated 11 years ago
- ☆10Updated last week
- An Erlang library pertaining to consensus democracy, including Condorcet voting☆10Updated last week
- Erlang foreign function interface.☆24Updated 4 months ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Make rpc:calls from erlang to haskell☆17Updated 10 years ago
- Binary functions for Erlang (trim, reverse, bxor, band)☆19Updated 9 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 8 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Generic abstraction for building dataflow computations.☆16Updated 7 years ago
- Micro benchmarking Erlang library☆19Updated 4 years ago
- Turn a Prolog File into a Gen Server☆22Updated 10 years ago
- 💠 UPL: Мова опису кредитних програм☆20Updated 9 years ago
- An Erlang extension which adds HTML tags to the expression syntax.☆19Updated 5 years ago
- Rebar3 plugin to generate CycloneDX SBoM☆10Updated 10 months ago
- Provide Active-Anti-Entropy features to a virtual node in a KV store☆22Updated last month
- Erlang Distribution through ssh☆12Updated 9 years ago
- Run an OCaml program as an erlang node☆29Updated 9 years ago
- Misc Erlang Tools☆11Updated last year
- An Erlang/Tcl Interface☆9Updated 8 months ago
- ☆9Updated 3 years ago
- er ~ emergency room (a BEAM language "improving" on Erlang)☆33Updated 6 years ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- Lazy iterables in erlang☆12Updated 8 years ago
- LAN discovery and presence in Erlang.☆39Updated 10 years ago