damphyr / gaudi
Sane build system conventions, a collection of helpers and an opinionated implementation of a build system on top of rake
☆14Updated last week
Related projects ⓘ
Alternatives and complementary repositories for gaudi
- Property based testing for Java 8☆508Updated 4 years ago
- Property-based testing, JUnit-style☆959Updated this week
- Phi Accural Failure Detector for Go☆15Updated 6 years ago
- List of public talks by Zalando Tech: meetup presentations, recorded conference talks, slides☆181Updated last month
- functional, durable data structures☆967Updated 2 weeks ago
- JCoz -- A Java causal profiler☆273Updated 8 months ago
- Collection of tips and tricks to make computers beep boop beep beep boop☆20Updated 11 months ago
- TLA+ language support for Visual Studio Code☆356Updated this week
- ☆235Updated 3 years ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆288Updated 2 years ago
- Vorlesung Cloud Computing☆64Updated 4 months ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆487Updated 3 weeks ago
- The Capsule Hash Trie Collections Library☆404Updated last year
- Opinionated StackSet resource for managing application life cycle and traffic switching in Kubernetes☆179Updated this week
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆567Updated 5 years ago
- The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interf…☆238Updated last week
- Repository to gather all presentations from all Nordic Cloud Native meetups☆45Updated 4 years ago
- Verifies the linearizability of experimentally accessible histories.☆398Updated last year
- Docker-based utility for testing network failures and partitions in distributed applications☆907Updated 3 years ago
- Implementation of CSP constructions (Communication Sequence Process, i.e. go-like channels) in scala☆199Updated 2 months ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆271Updated 2 months ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆320Updated 11 months ago
- ☆106Updated last year
- Implementation of the NELI leader election protocol for Go and Kafka☆65Updated last year
- ☆101Updated 6 years ago
- Golang Warsaw Meetup☆83Updated 4 months ago
- Rapid is a modern Go property-based testing library☆590Updated 2 weeks ago
- A load tester for stress testing grpc intermediaries.☆90Updated 4 years ago
- A TLA+ guide☆278Updated 2 years ago