szktty / bran
A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
☆100Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for bran
- Erlang flavored by Some ML☆36Updated 12 years ago
- Run an OCaml program as an erlang node☆29Updated 8 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 4 years ago
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- ☆54Updated 11 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 7 months ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 5 years ago
- 🧊 Перша формальна система☆92Updated 6 months ago
- Melt unstructured data and cast it with structure☆18Updated 8 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 8 years ago
- A small implementation of type inference☆78Updated 9 years ago
- OCaml bindings for Google's LevelDB☆44Updated 2 years ago
- N2O in Haskell☆29Updated 8 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 supercompiler pass for Erlang☆92Updated 3 years ago
- A collection of implementation details of Erlang's VM - BEAM☆40Updated 11 years ago
- Futures implemented in Erlang☆58Updated 11 years ago
- Generate Erlang VM byte code from Haskell☆172Updated last year
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- Support library for OCaml programs running as Erlang ports☆75Updated 11 years ago
- Erlang mutation testing tool☆16Updated 10 years ago
- Erlang to Scheme compiler☆36Updated 12 years ago