szktty / branLinks
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:
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- Run an OCaml program as an erlang node☆29Updated 9 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 5 years ago
- Supervised Session Actors☆22Updated 8 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- ☆54Updated 11 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Luvvie Script. An Erlang dialect that compiles to Javascript for Actor-style DOM scripting☆114Updated 10 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 7 years ago
- Erlang External Term Format for OCaml☆29Updated last year
- A Tiger-compiler implementation in OCaml☆9Updated 2 years ago
- OCaml bindings for Google's LevelDB☆44Updated 3 years ago
- Futures implemented in Erlang☆58Updated 11 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 5 years ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- Melt unstructured data and cast it with structure☆18Updated 8 years ago
- Erlang to Scheme compiler☆38Updated 13 years ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- source of the little riak core book☆33Updated 6 years ago
- A small implementation of type inference☆78Updated 10 years ago
- ☆38Updated 5 years ago
- Support library for OCaml programs running as Erlang ports☆73Updated 11 years ago
- 🧊 Методологія верифікації теорем☆93Updated 2 weeks ago
- A consistent hashing library in Erlang.☆32Updated 8 years ago