Raft implementation in Elixir
☆20Nov 23, 2021Updated 4 years ago
Alternatives and similar repositories for graft
Users that are interested in graft are comparing it to the libraries listed below
Sorting:
- A runtime verification tool for Erlang systems☆16Jan 18, 2024Updated 2 years ago
- Rust Nif that wraps a couple functions from the libsecp256k1 rust library☆17Feb 2, 2026Updated last month
- A Bitcoin Wallet implementation in Elixir☆49Dec 5, 2025Updated 3 months ago
- Distributed KV store for ephemeral data☆55Feb 4, 2026Updated last month
- PostgreSQL async notification via the LISTEN and NOTIFY in Elixir.☆21Sep 20, 2018Updated 7 years ago
- Framework for creating bot on elixir language☆23Oct 8, 2025Updated 4 months ago
- Hierarchical deterministic wallet for Elixir☆27Feb 17, 2026Updated 2 weeks ago
- Signatures and Bitcoin flavoured crypto written in pure Elixir.☆27Feb 13, 2023Updated 3 years ago
- Efficient binary encoding for your data (based on Erlang's External Terms Format)☆37Feb 1, 2020Updated 6 years ago
- A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…☆28Jul 13, 2017Updated 8 years ago
- An Elixir library which implements the Raft consensus protocol☆33Oct 16, 2023Updated 2 years ago
- An Elixir plug that caches HTTP responses☆38Jun 29, 2025Updated 8 months ago
- ☆35Nov 9, 2023Updated 2 years ago
- A sharp EventStoreDB v20+ client backed by Mint☆95Aug 3, 2024Updated last year
- Library for working with RSA keys using Elixir and OpenSSL ports☆38May 15, 2024Updated last year
- ☆10Jul 31, 2019Updated 6 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Awesome Ruby wrapper for the Echo Nest developer APIs☆14Sep 23, 2011Updated 14 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Capturing Passwords With sslstrip From Network When You Are Connected☆11Feb 27, 2016Updated 10 years ago
- Standalone Java implementation of the RFC-9285 Base45 Standard.☆13Jul 14, 2023Updated 2 years ago
- An online IEx☆10Apr 10, 2016Updated 9 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- RPC server based on NSQ☆17Jul 2, 2015Updated 10 years ago
- Elixir implementation of ROCK: A Robust Clustering Algorithm for Categorical Attributes☆12Jul 14, 2020Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Add Cross-Origin Resource Sharing (CORS) headers for Grails 3 applications.☆10Oct 31, 2016Updated 9 years ago
- datasets☆11Oct 10, 2017Updated 8 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- ☆18Mar 31, 2015Updated 10 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- Rust 中文社区 Wiki☆10Oct 7, 2017Updated 8 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- The dart implementation of the SLIP39.☆13May 23, 2024Updated last year
- ☆14Nov 23, 2016Updated 9 years ago