Time, Clocks, and the Ordering of Events
☆40Sep 5, 2021Updated 5 years ago
Alternatives and similar repositories for clocks
Users that are interested in clocks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HelixDB is a time-series oriented Key-Value store written in Rust.☆22Jan 5, 2025Updated last year
- drasyl-java is a high-performance framework for rapid development of distributed applications☆37Apr 16, 2026Updated 4 months ago
- database☆11Aug 31, 2018Updated 8 years ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆12Jul 9, 2022Updated 4 years ago
- Paxos protocol framework☆559Dec 29, 2023Updated 2 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.
- Kafka consumer & producer for scalaz-stream☆12Dec 15, 2017Updated 8 years ago
- Embedded IoT Platform for IoT projects based in Arduino and PlatformIO☆11Aug 8, 2021Updated 5 years ago
- Lightweight time-series storage on the Edge of IoT☆12Jul 2, 2021Updated 5 years ago
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- Go + HTMX + Templ + Tailwindcss and Alpinejs (PinesUI) template (aka updated version of https://github.com/anthdm/gothstarter [which @ant…☆10Jan 1, 2025Updated last year
- Model-based testing tool☆72Mar 12, 2025Updated last year
- Ejercicios de "Orientacion a Objetos 1"☆10Jan 13, 2024Updated 2 years ago
- Sample setup for testable Go RDBMS backed application☆12Sep 23, 2016Updated 9 years ago
- The Compositionality article class.☆14Mar 16, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Server Wide Clocks for Distributed Eventually Consistent Systems☆48Nov 22, 2016Updated 9 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- MindSpore Observability☆19May 29, 2020Updated 6 years ago
- Cordova Plugin for iOS 11 SFAuthenticationSession API☆10Apr 21, 2019Updated 7 years ago
- ☆32Jan 12, 2023Updated 3 years ago
- research, notes & ideas on various subjects☆65Jan 20, 2022Updated 4 years ago
- ☆17Apr 6, 2026Updated 5 months ago
- Laravel 7 and Svelte 3 SPA boilerplate using Inertia☆13Jun 21, 2022Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SwapForth J1a processor for Icestudio☆12Aug 28, 2020Updated 6 years ago
- Interact with Eth2 network components☆58Jan 16, 2021Updated 5 years ago
- HiMagpie 网关，负责 TCP 长连接建立、心跳、消费消息队列并推送等。☆16Jun 1, 2017Updated 9 years ago
- ☆28Updated this week
- An implementation of Heilman et al.'s differential attack on IOTA's Curl hashing function.☆23Aug 6, 2018Updated 8 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- An workshop for learning libp2p programming from scratch☆13Feb 5, 2026Updated 7 months ago
- Design and implementation in VHDL for FPGAs of a single cycle RISC-V based architecture☆14Jul 24, 2020Updated 6 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.
- ☆42Apr 12, 2020Updated 6 years ago
- Testground: SDK for developing test plans in Go☆11May 24, 2024Updated 2 years ago
- SubRISC: Simple Instruction-Set Computer for IoT edge devices☆16Jun 27, 2018Updated 8 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Build script and patches for cross-compiling Python to target ARM☆11Nov 20, 2019Updated 6 years ago
- Ethereum event tracker☆17Nov 28, 2021Updated 4 years ago
- ☆12Mar 1, 2023Updated 3 years ago