☆17Oct 2, 2017Updated 8 years ago
Alternatives and similar repositories for HLC
Users that are interested in HLC are comparing it to the libraries listed below
Sorting:
- Pluscal/TLA+ modeling of distributed systems/protocols☆81Oct 21, 2023Updated 2 years ago
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 5 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆17May 5, 2023Updated 2 years ago
- The Parrot stable and deterministic multi-threading system.☆25Nov 9, 2013Updated 12 years ago
- TLA+ specification for the Raft consensus algorithm☆19Aug 22, 2016Updated 9 years ago
- Reading the linearizability paper with TLA+☆51Apr 24, 2022Updated 3 years ago
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- Tests with PlusCal / TLA+☆25Jan 12, 2017Updated 9 years ago
- PlusCal Cheat Sheet by Stephan Merz☆25Sep 27, 2024Updated last year
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆304Updated this week
- Fork of the Judy C library for dynamic array originally imported from the SF project https://sourceforge.net/projects/judy/ with patches …☆33Oct 28, 2020Updated 5 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- ☆12Jul 8, 2024Updated last year
- ☆10Sep 10, 2023Updated 2 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated last month
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- Driverless two wheel drive car with an ultrasonic sound sensor to measure distance, a servo to move the sensor between three positions an…☆10Jul 27, 2019Updated 6 years ago
- C++ template containers with optimized memory consumption☆12Updated this week
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated last week
- Personal reading list/reference re: TLA+☆90Feb 13, 2018Updated 8 years ago
- Magenta kit for Pyblish☆10Feb 19, 2016Updated 10 years ago
- a external renderer addon for oF☆23Nov 12, 2018Updated 7 years ago
- ☆12Feb 4, 2026Updated 3 weeks ago
- LuaJIT iOS Framework script - old don't use this☆28Sep 5, 2013Updated 12 years ago
- A set of tools for Dynamic Design Patterns in Python☆11Oct 6, 2023Updated 2 years ago
- Generally useful macros for C/C++ programming☆12Jun 29, 2024Updated last year
- AYON Addon for Blackmagic DaVinci Resolve☆13Feb 9, 2026Updated 3 weeks ago
- OpenVDB Support for Mitsuba☆11May 26, 2014Updated 11 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Oct 28, 2021Updated 4 years ago
- Learning C# 8 and .NET Core 3.0 [Video], published by Packt☆10Jan 18, 2021Updated 5 years ago
- private 1inch☆14Apr 23, 2023Updated 2 years ago
- ITSearchField is a subclass of NSSearchField, which can collapse and expand if you click the search icon.☆40Jan 16, 2013Updated 13 years ago
- A C++ structure to manage multi-dimensional data efficiently and safely☆12Feb 1, 2026Updated last month
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 10 months ago