evnm / research-in-production
A collection of research papers categorized by real-world systems that enact them
☆209Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for research-in-production
- A curated list of computer science literature, updated daily.☆164Updated 9 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆183Updated 8 years ago
- ☆101Updated 6 years ago
- Papers We ❤️ Zurich☆50Updated 5 years ago
- The accompanying repository for The ScalingStatefulServices talk☆126Updated 8 years ago
- My Blog.☆57Updated 5 months ago
- A simple tool that finds serious bugs in Java exception handler☆124Updated 8 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 5 years ago
- Luke Gorrie's blog☆566Updated last year
- Interactive visualization framework for Runway models of distributed systems☆188Updated 2 years ago
- My personal notes on various computer languages☆221Updated 3 years ago
- A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.☆461Updated 4 years ago
- Musings on building groundbreaking technology companies.☆423Updated 6 years ago
- This is a collection of readings, talks, and other bits regarding the field of Resilience Engineering☆226Updated 6 years ago
- ☆64Updated 8 years ago
- Minimal-maintenance conference tracker.☆71Updated 7 years ago
- Keynote for QCon SF 2015!☆38Updated 8 years ago
- Assorted questions to ask during the interview process☆169Updated 7 years ago
- Distributed Named Pipes☆453Updated 7 years ago
- A curated collection of papers on streaming algorithms☆187Updated 6 years ago
- A framework of abstractions☆293Updated 4 months ago
- ✨ A curated list of useful resources for computer language engineering and theory☆257Updated 6 years ago
- Keyvi - a key value index that powers Cliqz search engine. It is an in-memory FST-based data structure highly optimized for size and look…☆179Updated 5 years ago
- Architectural patterns of resilient distributed systems☆1,263Updated 7 years ago
- Data structure server.☆183Updated 8 years ago
- LaTeX source files for VividCortex's ebooks☆181Updated 3 years ago
- A framework for formally verifying distributed systems implementations in Coq☆587Updated 5 months ago
- state machine visual debugger☆122Updated 9 years ago
- Toy container runtime, capable of running docker images☆67Updated 3 years ago
- At Twitter I often asked a simple question, render a tweet given the text and an unordered list of its entities☆42Updated 2 years ago