noncrab / hybrid-clocksView external linksLinks
☆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 4 years ago
- high-efficiency concurrent reclamation☆38Aug 29, 2024Updated last year
- ☆35Jul 19, 2019Updated 6 years ago
- zero-g git.☆40Aug 8, 2023Updated 2 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
- generate and parse url search parameters with zod objects☆11Feb 24, 2025Updated 11 months ago
- The fifth version of chriskrycho.com, built in Eleventy.☆35Updated this week
- Simple command-line tool for macOS that encodes videos in a format suitable for publishing to Mastodon☆17Dec 24, 2022Updated 3 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 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
- Libraries and code for Starlight board☆12Dec 23, 2023Updated 2 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☆13Jun 26, 2025Updated 7 months ago
- An Arduino / Energia Library for control of a TI PGA2310 Stereo Volume Controller☆11Dec 4, 2013Updated 12 years ago
- Notebook for enriching and analyzing coffee roasting data from the Aillio Bullet machine and RoastTime software.☆13Apr 23, 2025Updated 9 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- a kind system for schematizing objects☆12Dec 20, 2023Updated 2 years ago
- Out-of-memory sorting of large datasets map / reduce style processing☆46Feb 9, 2026Updated last week
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated last year
- Automatically update modrinth description from a file in the repository☆14Nov 11, 2025Updated 3 months ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 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
- Bash-style pipelining for Python generators.☆17Apr 20, 2011Updated 14 years ago
- Getting the best of two p2p worlds☆10Feb 17, 2022Updated 3 years ago
- Crowdsourced event coverage system developed by Pittsburgh IndyMedia during the G20. Incorporates twitter, flickr, google maps, podcast…☆24Feb 15, 2010Updated 16 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- ☆12Mar 13, 2024Updated last year
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- A series of articles that explore working with data using Datafusion and Apache Arrow.☆10Mar 17, 2021Updated 4 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Abstract interface to implement random-access instances.☆15Oct 4, 2023Updated 2 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 2 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Feb 7, 2024Updated 2 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 9 months ago