szktty / bran
A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
☆100Updated 10 years ago
Alternatives and similar repositories for bran
Users that are interested in bran are comparing it to the libraries listed below
Sorting:
- Run an OCaml program as an erlang node☆29Updated 9 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- OCaml bindings for Google's LevelDB☆44Updated 3 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- A simple OCaml library for writing Erlang port drivers☆43Updated 5 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- The McErlang model checker for Erlang☆65Updated 8 years ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- Support library for OCaml programs running as Erlang ports☆74Updated 11 years ago
- Erlang External Term Format for OCaml☆29Updated last year
- Luvvie Script. An Erlang dialect that compiles to Javascript for Actor-style DOM scripting☆114Updated 10 years ago
- ☆54Updated 11 years ago
- An implementation of the reversible semantics for Erlang.☆13Updated 7 years ago
- Simple MapReduce implementation in Erlang☆27Updated 13 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 7 years ago
- Erlang Language Specification (Draft)☆47Updated 9 months ago
- A small implementation of type inference☆78Updated 9 years ago
- Melt unstructured data and cast it with structure☆18Updated 8 years ago
- Protocol Buffers, JSON, XML data serialization system for OCaml☆40Updated 2 years ago
- Parse transform for type based validation.☆118Updated 11 years ago
- Futures implemented in Erlang☆58Updated 11 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- N2O in Haskell☆29Updated 9 years ago