Deterministic simulation of concurrency and failure in distributed systems
☆40May 26, 2025Updated 9 months ago
Alternatives and similar repositories for temper
Users that are interested in temper are comparing it to the libraries listed below
Sorting:
- workspaces for nix☆33Apr 12, 2024Updated last year
- Advanced futures library☆16Feb 3, 2026Updated 3 weeks ago
- A Nix web bundler because why not☆56Mar 10, 2024Updated last year
- a next‐generation free software build system☆28Jun 2, 2021Updated 4 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- ☆12Dec 31, 2023Updated 2 years ago
- Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…☆29Nov 5, 2024Updated last year
- A local first persistent log☆36Sep 14, 2025Updated 5 months ago
- Build shell commands from Nix attribute sets.☆18May 23, 2024Updated last year
- An example for a blogpost about gluing Terraform and Nix flakes together☆21Dec 7, 2022Updated 3 years ago
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated 7 months ago
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆13Oct 16, 2023Updated 2 years ago
- the dna of the soul☆17Jun 13, 2024Updated last year
- Implementation of RFC-0125's datatype and synthesis tooling.☆29Feb 22, 2026Updated last week
- A fast and flexible implementation of the xDS protocol☆20Jan 16, 2026Updated last month
- ☆22Mar 16, 2019Updated 6 years ago
- Demonstrations of (in)consistency in various streaming systems.☆23Apr 21, 2021Updated 4 years ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Aug 13, 2022Updated 3 years ago
- ☆19May 11, 2025Updated 9 months ago
- Node.js Nix expressions☆20Jan 20, 2023Updated 3 years ago
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated 11 months ago
- ☆45Jul 22, 2025Updated 7 months ago
- Bubble up the correct paths to your shared object libraries in Nix☆54Oct 18, 2022Updated 3 years ago
- madsim-inspired determinism for turmoil-based simulation tests☆55Feb 19, 2026Updated last week
- Curated information about every package on Nix!☆24Nov 14, 2021Updated 4 years ago
- rust hints to the optimizer☆19Aug 1, 2021Updated 4 years ago
- A Nix builder function for packaging Gradle applications.☆51Updated this week
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- ☆18Mar 8, 2022Updated 3 years ago
- A collection of all the content from NixCon Paris 2022 and beyond☆54Apr 30, 2024Updated last year
- Buck2 rules for Nix☆36Sep 4, 2025Updated 5 months ago
- A Rust source code parser and explorer☆23Aug 31, 2023Updated 2 years ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- Implementation of the `embedded-hal` traits for E310x microcontrollers☆17Apr 1, 2024Updated last year
- A friendly Nix profile manager☆30Aug 18, 2025Updated 6 months ago
- What if we could check declarative macros before using them?☆51Nov 3, 2024Updated last year
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated last month
- Um cliente alternativo ao Positivo On☆13Jan 6, 2024Updated 2 years ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆31Oct 11, 2018Updated 7 years ago