stevana / armstrong-distributed-systems

Related projects: ⓘ

• WhatsApp / waraft
  An Erlang implementation of RAFT from WhatsApp
  ☆541Updated 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).
  ☆533Updated 3 months ago
• doawoo / teex
  Use Elixir like a scripting language, across your system
  ☆298Updated 3 years ago
• rabbitmq / khepri
  Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.
  ☆334Updated last week
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆103Updated 7 months ago
• jamii / jams
  ☆183Updated 10 months ago
• WhatsApp / eqwalizer
  A type-checker for Erlang
  ☆507Updated this week
• cpursley / walex
  Postgres change events (CDC) in Elixir
  ☆282Updated 2 weeks ago
• llaisdy / beam_languages
  Languages, and about languages, on the BEAM
  ☆738Updated 2 years ago
• purerl / purerl
  Erlang backend for the PureScript compiler
  ☆330Updated 2 months ago
• fuelen / owl
  A toolkit for writing command-line user interfaces.
  ☆422Updated last month
• leostera / lam
  a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
  ☆252Updated 3 years ago
• eigr / spawn
  Spawn - Actor Mesh
  ☆282Updated this week
• fogus / thunks
  posts and code related to personal studies
  ☆374Updated last year
• eatonphil / lisp-rosetta-stone
  A lisp rosetta stone to demonstrate modern language features
  ☆171Updated 2 years ago
• lasp-lang / partisan
  High-performance, high-scalability distributed computing for the BEAM.
  ☆914Updated 3 weeks ago
• E-xyza / zigler
  zig nifs in elixir
  ☆758Updated last month
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,050Updated 11 months ago
• fly-apps / tictac
  Demonstration of building a clustered, distributed, multi-player, turn-based game server written in Elixir.
  ☆350Updated 2 years ago
• gleam-lang / otp
  📫 Fault tolerant multicore programs with actors
  ☆416Updated 2 weeks ago
• obivan / autopilot
  SpaceX ISS Docking Simulator autopilot
  ☆87Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• kzemek / es6_maps
  ES6-like shorthand syntax for Elixir maps: `%{foo, bar} = map; IO.puts(foo)`
  ☆57Updated 4 months ago
• erlef / security-wg
  Repo for the Security Working Group
  ☆196Updated 2 months ago
• archseer / enigma
  An Erlang VM implementation in Rust
  ☆1,042Updated 2 years ago
• AlexanderKaraberov / Erlang-BEAM-Links
  Erlang VM internals
  ☆107Updated 4 years ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆370Updated 6 months ago
• electric-sql / vaxine
  Rich-CRDT database based on AntidoteDB.
  ☆116Updated last year
• E-xyza / Exonerate
  JSONSchema -> Elixir code generator
  ☆115Updated 6 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆94Updated 8 months ago