☆12Dec 23, 2024Updated last year
Alternatives and similar repositories for hybrid-clocks
Users that are interested in hybrid-clocks are comparing it to the libraries listed below
Sorting:
- In short, mio is memcached + "range search".☆40Sep 16, 2010Updated 15 years ago
- A barebones utility for metamorphic testing in Rust☆19Oct 22, 2019Updated 6 years ago
- Fact ⇒ domain inference database☆22Aug 5, 2017Updated 8 years ago
- ☆30Mar 2, 2021Updated 5 years ago
- high-efficiency concurrent reclamation☆38Aug 29, 2024Updated last year
- ☆35Jul 19, 2019Updated 6 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37May 16, 2022Updated 3 years ago
- zero-g git.☆40Aug 8, 2023Updated 2 years ago
- generate and parse url search parameters with zod objects☆11Feb 24, 2025Updated last year
- The fifth version of chriskrycho.com, built in Eleventy.☆35Mar 2, 2026Updated last week
- a kind system for schematizing objects☆12Dec 20, 2023Updated 2 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆14Jun 26, 2025Updated 8 months ago
- An Arduino / Energia Library for control of a TI PGA2310 Stereo Volume Controller☆11Dec 4, 2013Updated 12 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- Cquery Language Server Provider package for Atom☆17Apr 16, 2020Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Libraries and code for Starlight board☆12Dec 23, 2023Updated 2 years ago
- Simple command-line tool for macOS that encodes videos in a format suitable for publishing to Mastodon☆17Dec 24, 2022Updated 3 years ago
- Notebook for enriching and analyzing coffee roasting data from the Aillio Bullet machine and RoastTime software.☆13Apr 23, 2025Updated 10 months ago
- Out-of-memory sorting of large datasets map / reduce style processing☆47Feb 9, 2026Updated last month
- A series of articles that explore working with data using Datafusion and Apache Arrow.☆10Mar 17, 2021Updated 4 years ago
- ☆12Mar 13, 2024Updated last year
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- Implemented Snapshot Algorithm (Chandy Lamport) widely used in Distributed Systems☆10Oct 10, 2017Updated 8 years ago
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated last year
- Resources used by all of the autometrics implementations☆14Dec 5, 2023Updated 2 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.☆13Apr 19, 2015Updated 10 years ago
- PWM Input measurement code for the Raspberry Pi Pico PIO☆10Apr 5, 2021Updated 4 years ago
- A server-first virtual DOM that supports a wire format, async components, and client references out of the box.☆12Sep 12, 2023Updated 2 years ago
- bearcove internal building tool☆11Apr 28, 2025Updated 10 months ago
- A simple go app that connects to a sqlite3 database☆11Sep 18, 2018Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Oct 31, 2025Updated 4 months ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- Notes and Solutions for Delimited Continuations tutorial in scheme http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/☆14Nov 4, 2021Updated 4 years ago
- Bash-style pipelining for Python generators.☆17Apr 20, 2011Updated 14 years ago