lasp-lang / lasp
Prototype implementation of Lasp in Erlang.
☆889Updated 4 years ago
Alternatives and similar repositories for lasp:
Users that are interested in lasp are comparing it to the libraries listed below
- A planet scale, highly available, transactional database built on CRDT technology☆846Updated last year
- High-performance, high-scalability distributed computing for the BEAM.☆952Updated last month
- Erlang on Xen☆798Updated 2 years ago
- Functional programming inspired by ML for the Erlang VM☆1,443Updated 4 years ago
- Languages, and about languages, on the BEAM☆760Updated 2 years ago
- Distributed systems infrastructure used by Riak.☆1,246Updated last year
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- A CRDT library with δ-CRDT support.☆224Updated 7 years ago
- Logical Clocks for Eventually Consistent Systems☆355Updated 7 years ago
- Erlang Spawned Shelter. Erlang and Elixir training with the best articles, videos, books and talks🎓☆350Updated 3 years ago
- A distributed CRDT store with multicast and failure detector capabilities☆210Updated 5 years ago
- Concuerror is a stateless model checking tool for Erlang programs.☆336Updated last month
- Multi-Paxos framework in Erlang☆167Updated 2 years ago
- Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.☆545Updated 3 years ago
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆542Updated 9 months ago
- A concolic testing tool for the Erlang functional programming language.☆213Updated last month
- PropEr: a QuickCheck-inspired property-based testing tool for Erlang☆887Updated last month
- A pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests☆354Updated last week
- A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a sing…☆853Updated this week
- A Circuit Breaker for Erlang☆508Updated 3 years ago
- Erlang Orleans☆283Updated last month
- erlang tracing for the masses☆693Updated last year
- Extended process registry for Erlang☆1,077Updated 10 months ago
- Simple, robust and performant Erlang web server☆661Updated 6 years ago
- Erlang Replacement Therapy. Another attempt to make Erlang runtime (BEAM emulator) in Rust. Good news: I know what to do. Bad news: I hav…☆595Updated last year
- A JVM-based Erlang VM☆728Updated 6 years ago
- Epidemic Broadcast Trees☆194Updated 7 years ago
- Scalaris, a distributed, transactional key-value store☆155Updated last year
- ☆163Updated 5 years ago
- LambdaPad source files for erlangpatterns.org☆168Updated 4 years ago