Kotlin implementation of Raft consensus algorithm
☆39Apr 6, 2019Updated 7 years ago
Alternatives and similar repositories for raft-kotlin
Users that are interested in raft-kotlin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆28Nov 30, 2021Updated 4 years ago
- Practical example of Slot API in Compose☆12Jul 3, 2022Updated 4 years ago
- A Java framework for testing multithreaded code.☆13Oct 26, 2018Updated 7 years ago
- ArCore Recording and Playback API Kotlin implementation☆10Jun 11, 2021Updated 5 years ago
- ☆10Nov 26, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Prisoner's Dilemma game engine implemented using Cats Free Monad and Freestyle☆39Dec 14, 2017Updated 8 years ago
- An Arweave client written in Rust☆10Dec 5, 2019Updated 6 years ago
- Final tagless talk sources.☆15May 4, 2017Updated 9 years ago
- Scala backend + TypeScript frontend Example for Idealingua API Language☆10May 5, 2021Updated 5 years ago
- ☆11Jan 31, 2022Updated 4 years ago
- ☆32Sep 23, 2023Updated 2 years ago
- Wiki system in CakePHP☆14Aug 17, 2017Updated 9 years ago
- ☆14Jan 22, 2022Updated 4 years ago
- Kotlin extensions / Interfaces that extends the Java/Scala implementation/implicits of Smile NLP. Basically a simplification for Kotlin (…☆14Mar 31, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- ☆10May 17, 2022Updated 4 years ago
- ☆10Jun 5, 2018Updated 8 years ago
- Kuberam is built on jetpack compose + Auth0 during Hashnode Hackathon.☆37Oct 12, 2022Updated 3 years ago
- ☆16Jul 20, 2026Updated last month
- ☆13Aug 2, 2021Updated 5 years ago
- Ktor feature for providing rate limiting on endpoints☆47Nov 18, 2019Updated 6 years ago
- Code exploration via diagrams☆22Sep 18, 2024Updated last year
- Collaborative and distributed Markdown text editor, started as a bachelor thesis project at HEIG-VD.☆59Mar 5, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆15Oct 27, 2021Updated 4 years ago
- DEPRECATED - minimal template to play with the Scalameta semantic API☆16Sep 2, 2017Updated 9 years ago
- PlusCal Cheat Sheet by Stephan Merz☆32Sep 27, 2024Updated last year
- ☆16Oct 30, 2021Updated 4 years ago
- ☆11Jan 21, 2022Updated 4 years ago
- Free and open-source national vector basemap of Lithuania☆15Updated this week
- A Library that provides Analytic calculations [Trade and Risk] for various Financial Instruments.☆12Jun 11, 2016Updated 10 years ago
- ☆11Feb 14, 2017Updated 9 years ago
- A guide for how to write gradle plugins with best practices automatically enforced☆18Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Open textbook on modal logic☆25Jul 12, 2026Updated last month
- ☆20Aug 24, 2025Updated last year
- Example apps for Pipedrive Integrations☆13May 13, 2026Updated 3 months ago
- Keep your csrf token inside your Redux store.☆11Jan 15, 2018Updated 8 years ago
- A tweening and easing library for Arduino inspired by the good work done at Greensock.☆16Feb 27, 2024Updated 2 years ago
- ☆13Jul 16, 2023Updated 3 years ago
- Postgres plays with PGbouncer and Repmgr for replication/auto-failover☆10Aug 23, 2016Updated 10 years ago