evnm / research-in-production
A collection of research papers categorized by real-world systems that enact them
☆209Updated 6 years ago
Alternatives and similar repositories for research-in-production:
Users that are interested in research-in-production are comparing it to the libraries listed below
- A curated list of computer science literature, updated daily.☆164Updated 9 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆185Updated 8 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- The accompanying repository for The ScalingStatefulServices talk☆126Updated 8 years ago
- Interactive visualization framework for Runway models of distributed systems☆188Updated 3 years ago
- Papers We ❤️ Zurich☆49Updated 5 years ago
- My personal notes on various computer languages☆221Updated 4 years ago
- Keynote for QCon SF 2015!☆38Updated 8 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Musings on building groundbreaking technology companies.☆423Updated 7 years ago
- ☆101Updated 6 years ago
- A Git annex repository of papers☆696Updated 6 years ago
- Distributed Named Pipes☆454Updated 7 years ago
- LaTeX source files for VividCortex's ebooks☆183Updated 4 years ago
- A a dynamic x86_64 assembler in Scala — Code for the live coding session @ Devoxx france 2016☆121Updated 8 years ago
- Luke Gorrie's blog☆565Updated last year
- A framework for formally verifying distributed systems implementations in Coq☆597Updated 9 months ago
- At Twitter I often asked a simple question, render a tweet given the text and an unordered list of its entities☆42Updated 3 years ago
- Chaotic Life☆45Updated 7 years ago
- Minimal-maintenance conference tracker.☆71Updated 7 years ago
- Data structure server.☆182Updated 8 years ago
- A simple tool that finds serious bugs in Java exception handler☆125Updated 8 years ago
- Assorted questions to ask during the interview process☆169Updated 7 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆88Updated 8 years ago
- A framework of abstractions☆293Updated 7 months ago
- ☆172Updated 10 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- Architectural patterns of resilient distributed systems☆1,259Updated 7 years ago
- Literature Study☆165Updated 8 years ago