☆15Dec 28, 2017Updated 8 years ago
Alternatives and similar repositories for retroscope-lib
Users that are interested in retroscope-lib are comparing it to the libraries listed below
Sorting:
- ☆12Dec 14, 2019Updated 6 years ago
- ☆29May 6, 2022Updated 3 years ago
- ☆14Dec 13, 2023Updated 2 years ago
- A small project to show how to add lineage to Atlas when using Spark as ETL tool☆12Nov 29, 2016Updated 9 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- Reading the linearizability paper with TLA+☆51Apr 24, 2022Updated 3 years ago
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- Linked Data Signatures for JWS☆13Aug 5, 2022Updated 3 years ago
- CHIP-8 emulator in Rust☆15Dec 15, 2018Updated 7 years ago
- Call Me Maybe: simulating network partitions in DBs☆20Feb 3, 2016Updated 10 years ago
- ☆13May 28, 2018Updated 7 years ago
- Software for controlling a geodesic dome covered with LEDs. Makes use of fadecandy and Open Pixel Control.☆13Sep 18, 2015Updated 10 years ago
- A Rust library for draping polygons over terrain with gfx☆11Mar 5, 2018Updated 8 years ago
- A machine learning toolkit for economists☆18Dec 4, 2015Updated 10 years ago
- A toy peer-to-peer system written in tokio.☆13May 25, 2017Updated 8 years ago
- ☆17Aug 14, 2021Updated 4 years ago
- Rasterizer?! Hardly know her!!☆10Jul 6, 2020Updated 5 years ago
- A re-write of the FabGL NetworkTerminal example☆12Oct 12, 2022Updated 3 years ago
- Scripting DSL with Rust interpreter☆32Apr 13, 2022Updated 3 years ago
- A GPU-accelerated cellular automata library using Vulkan☆11Sep 11, 2019Updated 6 years ago
- TLA+ specifications for Kafka related algorithms☆87Jan 24, 2025Updated last year
- Go and Java implementations of LRMP - light weight reliable multicast protocol☆11Sep 27, 2018Updated 7 years ago
- ☆28May 7, 2025Updated 10 months ago
- The did:key specification☆23Nov 2, 2025Updated 4 months ago
- anything can be numbers, numbers can be anything... What does data look like, in color and in 3D.☆15Oct 30, 2024Updated last year
- A simple to use 4 polyphonic wavetable synthesizer library for Arduino.☆14Feb 11, 2017Updated 9 years ago
- OPSIIE (OPSIE) is an advanced Self-Centered Intelligence (SCI) prototype that represents a new paradigm in AI-human interaction.☆24Oct 26, 2025Updated 4 months ago
- An example of how you can fully integrate wasm into a webpage. No need for fetching or any of that jazz.☆15Nov 6, 2020Updated 5 years ago
- Akka Cluster for Value-at-Risk calculation☆14May 2, 2014Updated 11 years ago
- TLA+ specifications related to Viewstamped Replication☆51Jan 22, 2023Updated 3 years ago
- In Spec We Trust☆42Jun 29, 2025Updated 8 months ago
- Emmett WebAPI starter repository with PostgreSQL☆14Mar 3, 2026Updated 2 weeks ago
- Paxos protocol framework☆560Dec 29, 2023Updated 2 years ago
- Real-time graphing experiment written in Rust☆20Oct 30, 2020Updated 5 years ago
- Basic disassembler plugin for HotSpot JVM (based on libdisasm)☆11Jun 7, 2012Updated 13 years ago
- Genesis-Plus-GX based MEGADRIVE/GENESIS emulator for the Maixduino☆22Jul 11, 2020Updated 5 years ago
- Freenect wrapper for rust☆19Aug 21, 2022Updated 3 years ago
- A sexy binary protocol written in c with zero-allocations☆11Dec 13, 2025Updated 3 months ago