cmeiklejohn / ensemble
Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
☆13Updated 9 years ago
Alternatives and similar repositories for ensemble:
Users that are interested in ensemble are comparing it to the libraries listed below
- an example airship app☆14Updated 8 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Supervised Session Actors☆22Updated 8 years ago
- ☆17Updated last year
- Make rpc:calls from erlang to haskell☆17Updated 10 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- obigstore: database with BigTable-like data model atop LevelDB☆43Updated 7 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- Interface for implementing Gossip Protocols in Erlang☆22Updated 12 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 9 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Updated 8 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Demonstrate the use of ruster_unsafe, a crate for creating Erlang NIF modules in Rust.☆10Updated 9 years ago
- A library for Erlang/Java Interoperability via Erlang's rpc module☆17Updated 10 years ago
- Run an OCaml program as an erlang node☆29Updated 9 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Raft consensus algorithm implementation☆33Updated 5 years ago
- Erlang Services Platform☆88Updated 12 years ago
- OCaml bindings for Google's LevelDB☆44Updated 3 years ago
- Replication of CRDTs☆38Updated 4 years ago
- Erlang bindings to llvm-c☆22Updated 13 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago