tamarit / pn_suite

Related projects ⓘ

Alternatives and complementary repositories for pn_suite

• serperu / secer
  SecEr: Erlang Code Evolution Control Tool
  ☆12Updated 2 years ago
• mistupv / rev-erlang
  An implementation of the reversible semantics for Erlang.
  ☆13Updated 7 years ago
• tamarit / edd
  Erlang Declarative Debugger
  ☆20Updated 4 years ago
• lasp-lang / gen_flow
  Generic abstraction for building dataflow computations.
  ☆16Updated 6 years ago
• joergen7 / cre
  common runtime environment for distributed programming languages
  ☆21Updated last year
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 12 years ago
• harp-project / Core-Erlang-Formalization
  ☆9Updated last week
• joedevivo / erlang-haskell-interface
  Make rpc:calls from erlang to haskell
  ☆17Updated 9 years ago
• tcarstens / verlang
  ☆54Updated 11 years ago
• fredlund / McErlang
  The McErlang model checker for Erlang
  ☆64Updated 8 years ago
• joergen7 / gen_pnet
  library for modeling Petri nets in Erlang
  ☆63Updated 4 years ago
• arcusfelis / binary2
  Binary functions for Erlang (trim, reverse, bxor, band)
  ☆19Updated 8 years ago
• joergen7 / effi
  Erlang foreign function interface.
  ☆24Updated last year
• kbaird / consensus
  An Erlang library pertaining to consensus democracy, including Condorcet voting
  ☆10Updated last month
• fredlund / jsongen
  JSON instances generation and validation from JSON Schema and other JSON data descriptions
  ☆39Updated 7 years ago
• egobrain / dbschema
  Erlang postgresql migrations util
  ☆11Updated 7 years ago
• schnef / hkdf
  Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
  ☆11Updated 2 years ago
• ThomasArts / tricky-supervisor
  Erlang and Elixir supervisors restart strategies
  ☆11Updated 7 years ago
• cwbriones / streams
  Lazy iterables in erlang
  ☆12Updated 8 years ago
• mpitid / purity
  A side-effect analyzer for Erlang
  ☆45Updated 3 years ago
• lrascao / erlqueue
  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
• refuge / rbeacon
  LAN discovery and presence in Erlang.
  ☆39Updated 10 years ago
• fredyouhanaie / espace
  An Erlang Tuple Space implementation
  ☆9Updated 2 months ago
• erlcloud / eini
  An Erlang INI parser
  ☆21Updated 3 years ago
• slepher / astranaut
  traverse erlang ast and elixir macro in erlang.
  ☆15Updated 2 years ago
• lrascao / raterl
  An erlang ETS based rate limiter inspired by Jobs
  ☆16Updated 3 years ago
• neeraj9 / hello-erlang-rump
  Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel
  ☆14Updated 8 years ago
• mistupv / cauder-core
  A Causal-Consistent Debugger for (Core) Erlang
  ☆18Updated 3 years ago
• hnc-agency / gen_agent
  ☆9Updated 2 years ago