lasp-lang / lasp

Related projects ⓘ

Alternatives and complementary repositories for lasp

• lasp-lang / partisan
  High-performance, high-scalability distributed computing for the BEAM.
  ☆926Updated 2 months ago
• cloudozer / ling
  Erlang on Xen
  ☆799Updated 2 years ago
• AntidoteDB / antidote
  A planet scale, highly available, transactional database built on CRDT technology
  ☆837Updated last year
• llaisdy / beam_languages
  Languages, and about languages, on the BEAM
  ☆740Updated 2 years ago
• asonge / loom
  A CRDT library with δ-CRDT support.
  ☆224Updated 7 years ago
• basho / riak_core
  Distributed systems infrastructure used by Riak.
  ☆1,229Updated 8 months ago
• alpaca-lang / alpaca
  Functional programming inspired by ML for the Erlang VM
  ☆1,438Updated 4 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 5 years ago
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆211Updated last year
• bloom-lang / bud
  Prototype Bud runtime (Bloom Under Development)
  ☆855Updated 4 years ago
• kvakvs / ErlangRT
  Erlang Replacement Therapy. Another attempt to make Erlang runtime (BEAM emulator) in Rust. Good news: I know what to do. Bad news: I hav…
  ☆594Updated last year
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆333Updated last week
• kvakvs / beam-wisdoms
  Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).
  ☆535Updated 4 months ago
• unbalancedparentheses / spawnedshelter
  Erlang Spawned Shelter. Erlang and Elixir training with the best articles, videos, books and talks🎓
  ☆351Updated 3 years ago
• proper-testing / proper
  PropEr: a QuickCheck-inspired property-based testing tool for Erlang
  ☆879Updated last year
• trifork / erjang
  A JVM-based Erlang VM
  ☆726Updated 6 years ago
• martinsumner / leveled
  A pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests
  ☆355Updated this week
• erleans / erleans
  Erlang Orleans
  ☆282Updated 2 years ago
• helium / plumtree
  Epidemic Broadcast Trees
  ☆192Updated 6 years ago
• dreyk / zraft_lib
  ☆163Updated 5 years ago
• dcos / lashup
  A distributed CRDT store with multicast and failure detector capabilities
  ☆209Updated 4 years ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆371Updated 8 months ago
• CloudI / CloudI
  A Cloud at the lowest level!
  ☆410Updated last week
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆351Updated 6 years ago
• lfe / lfe
  Lisp Flavoured Erlang (LFE)
  ☆2,327Updated last month
• erlanglab / erlangpl
  Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.
  ☆545Updated 2 years ago
• rvirding / luerl
  Lua in Erlang
  ☆1,045Updated last week
• basho / riak_ensemble
  Multi-Paxos framework in Erlang
  ☆166Updated last year
• andytill / erlyberly
  erlang tracing for the masses
  ☆694Updated last year
• rabbitmq / ra
  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…
  ☆821Updated this week