tcarstens / verlangLinks
☆54Updated 11 years ago
Alternatives and similar repositories for verlang
Users that are interested in verlang are comparing it to the libraries listed below
Sorting:
- Supervised Session Actors☆22Updated 8 years ago
- Run an OCaml program as an erlang node☆29Updated 9 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- Implementation of some Erlang primitives in OCaml☆11Updated 8 years ago
- Make rpc:calls from erlang to haskell☆17Updated 10 years ago
- Extra string functions for OCaml☆21Updated 2 years ago
- ☆29Updated 9 years ago
- ☆18Updated 8 years ago
- MirageOS IRC daemon.☆14Updated 7 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli☆20Updated last year
- Plan9 software ported to OCaml☆32Updated last week
- Erlang VM reimplementation in Haskell☆20Updated 10 years ago
- Jane Street Capital's standard library overlay☆36Updated 3 weeks ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- ☆38Updated 5 years ago
- Protocol Buffers, JSON, XML data serialization system for OCaml☆40Updated 2 years ago
- Interface for implementing Gossip Protocols in Erlang☆22Updated 12 years ago
- Raft consensus algorithm implementation☆33Updated 5 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- Erlang External Term Format for OCaml☆29Updated last year
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An implementation of the reversible semantics for Erlang.☆13Updated 7 years ago
- An OCaml RocksDb binding using ocaml-ctypes☆28Updated 6 years ago