☆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
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37May 16, 2022Updated 3 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 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.☆35Updated this week
- An Arduino / Energia Library for control of a TI PGA2310 Stereo Volume Controller☆11Dec 4, 2013Updated 12 years ago
- Cquery Language Server Provider package for Atom☆17Apr 16, 2020Updated 5 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
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 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
- Simple command-line tool for macOS that encodes videos in a format suitable for publishing to Mastodon☆17Dec 24, 2022Updated 3 years ago
- a kind system for schematizing objects☆12Dec 20, 2023Updated 2 years ago
- Libraries and code for Starlight board☆12Dec 23, 2023Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Out-of-memory sorting of large datasets map / reduce style processing☆47Feb 9, 2026Updated 3 weeks ago
- simple python gevent web spider☆23Jun 27, 2011Updated 14 years ago
- ☆15Apr 6, 2015Updated 10 years ago
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated last year
- Getting the best of two p2p worlds☆10Feb 17, 2022Updated 4 years ago
- Resources used by all of the autometrics implementations☆14Dec 5, 2023Updated 2 years ago
- Toy implementation of Green Threads based on https://cfsamson.gitbook.io/green-threads-explained-in-200-lines-of-rust☆10Jul 24, 2020Updated 5 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- A simple go app that connects to a sqlite3 database☆11Sep 18, 2018Updated 7 years ago
- A series of articles that explore working with data using Datafusion and Apache Arrow.☆10Mar 17, 2021Updated 4 years ago
- Crowdsourced event coverage system developed by Pittsburgh IndyMedia during the G20. Incorporates twitter, flickr, google maps, podcast…☆25Feb 15, 2010Updated 16 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- bearcove internal building tool☆11Apr 28, 2025Updated 10 months ago
- Stereo lithography file support for Rust.☆12Jul 29, 2023Updated 2 years ago
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 3 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago