szktty / bran

Related projects ⓘ

Alternatives and complementary repositories for bran

• jlouis / erlangnode
  Run an OCaml program as an erlang node
  ☆29Updated 8 years ago
• amutake / actario
  Verification Framework for Actor Systems on Coq
  ☆29Updated 6 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 12 years ago
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆41Updated 10 years ago
• tcarstens / verlang
  ☆54Updated 11 years ago
• massung / parsec
  Parsec-style parsing for Erlang
  ☆32Updated 13 years ago
• mfp / ocaml-leveldb
  OCaml bindings for Google's LevelDB
  ☆44Updated 2 years ago
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 4 years ago
• okeuday / erlang_ml
  Erlang External Term Format for OCaml
  ☆29Updated last year
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated 8 months ago
• EchoTeam / ocaml-erlang-port
  Support library for OCaml programs running as Erlang ports
  ☆75Updated 11 years ago
• fredlund / jsongen
  JSON instances generation and validation from JSON Schema and other JSON data descriptions
  ☆39Updated 7 years ago
• fredlund / McErlang
  The McErlang model checker for Erlang
  ☆64Updated 8 years ago
• mistupv / rev-erlang
  An implementation of the reversible semantics for Erlang.
  ☆13Updated 7 years ago
• groupoid / henk.ex
  🧊 Чиста система з всесвітами
  ☆143Updated 4 months ago
• gleber / erlfu
  Futures implemented in Erlang
  ☆58Updated 11 years ago
• camlspotter / ocamloscope
  OCaml API search engine
  ☆25Updated 8 years ago
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆188Updated 7 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• extend / sheriff
  Parse transform for type based validation.
  ☆118Updated 11 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆33Updated 4 years ago
• marianoguerra / little-riak-core-book
  source of the little riak core book
  ☆33Updated 6 years ago
• fenollp / erlscp
  A supercompiler pass for Erlang
  ☆92Updated 4 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆48Updated 3 months ago
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 12 years ago
• xandkar / beam-internals
  A collection of implementation details of Erlang's VM - BEAM
  ☆40Updated 11 years ago
• efcasado / forms
  A library that simplifies working with the Erlang abstract format.
  ☆41Updated last year
• mirage / ocaml-cow
  Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCa…
  ☆107Updated 11 months ago