Alternatives and similar repositories for bran:

Users that are interested in bran are comparing it to the libraries listed below

• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• jlouis / erlangnode
  Run an OCaml program as an erlang node
  ☆29Updated 8 years ago
• tcarstens / verlang
  ☆54Updated 11 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 13 years ago
• amutake / actario
  Verification Framework for Actor Systems on Coq
  ☆29Updated 6 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆66Updated last year
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 4 years ago
• massung / parsec
  Parsec-style parsing for Erlang
  ☆32Updated 13 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆145Updated 2 weeks ago
• mfp / ocaml-leveldb
  OCaml bindings for Google's LevelDB
  ☆44Updated 3 years ago
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆188Updated 7 years ago
• ocaml-multicore / multicore-opam
  OPAM repo for OCaml multicore development
  ☆51Updated 3 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 12 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• fredlund / jsongen
  JSON instances generation and validation from JSON Schema and other JSON data descriptions
  ☆39Updated 7 years ago
• nojb / ocaml-gccjit
  OCaml bindings for libgccjit
  ☆26Updated 8 years ago
• EchoTeam / ocaml-erlang-port
  Support library for OCaml programs running as Erlang ports
  ☆74Updated 11 years ago
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆47Updated 6 years ago
• fredlund / McErlang
  The McErlang model checker for Erlang
  ☆65Updated 8 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆47Updated 7 months ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• groupoid / axio
  🧊 Методологія верифікації теорем
  ☆93Updated this week
• mfp / oraft
  Raft consensus algorithm implementation
  ☆32Updated 4 years ago
• ocsigen / macaque
  ☆38Updated 5 years ago
• fenollp / erlscp
  A supercompiler pass for Erlang
  ☆92Updated 4 years ago
• fxfactorial / podge
  A Hodgepodge of functions for living in the OCaml ecosystem
  ☆62Updated 5 years ago