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:
- Run an OCaml program as an erlang node☆30Updated 9 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 7 years ago
- ☆54Updated 11 years ago
- Supervised Session Actors☆22Updated 9 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- 🧊 Чиста система з всесвітами☆147Updated last month
- OCaml bindings for Google's LevelDB☆44Updated 3 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 5 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- 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 last year
- ☆38Updated 5 years ago
- Support library for OCaml programs running as Erlang ports☆73Updated 11 years ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- RIP (REST in Peace) is a simple framework for building RESTful servers in OCaml☆30Updated last year
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- ☆60Updated 5 years ago
- Erlang Backend for Idris Compiler☆188Updated 8 years ago
- List of bindings in OCaml to cordova plugins.☆27Updated 8 years ago
- sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`☆24Updated 9 years ago
- Erlang External Term Format for OCaml☆29Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Merlin package for Sublime Text 3☆47Updated 7 years ago
- Wiki for compiler hacking sessions☆90Updated 7 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli☆20Updated last year
- An OCaml/Mirage-friendly implementation of the 9P protocol☆66Updated 3 weeks ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆62Updated 5 years ago
- SML On Stilts☆37Updated 11 years ago