Alternatives and similar repositories for research-in-production:

Users that are interested in research-in-production are comparing it to the libraries listed below

• tylertreat / CS-Literature-of-the-Day
  A curated list of computer science literature, updated daily.
  ☆165Updated 9 years ago
• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆185Updated 8 years ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆186Updated 3 years ago
• cmeiklejohn / cmeiklejohn.github.io
  My Blog.
  ☆56Updated 11 months ago
• siemanko / 6.006-2015-notebooks
  ☆239Updated 9 years ago
• coffeemug / defstartup
  Musings on building groundbreaking technology companies.
  ☆424Updated 7 years ago
• papers-we-love / zurich
  Papers We ❤️ Zurich
  ☆49Updated 6 years ago
• palvaro / CMPS232-Fall16
  ☆101Updated 7 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 6 years ago
• VividCortex / ebooks
  LaTeX source files for VividCortex's ebooks
  ☆184Updated 4 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆564Updated 2 years ago
• gravyboat / interviewee-questions
  Assorted questions to ask during the interview process
  ☆170Updated 7 years ago
• ocharles / papers
  A Git annex repository of papers
  ☆703Updated 6 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆223Updated 4 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• PharkMillups / killer-talks
  A list of talks that are worth watching.
  ☆307Updated 10 years ago
• mhausenblas / dnpipes
  Distributed Named Pipes
  ☆456Updated 7 years ago
• guillaumebort / scasm
  A a dynamic x86_64 assembler in Scala — Code for the live coding session @ Devoxx france 2016
  ☆121Updated 9 years ago
• rolandshoemaker / theca
  a simple, fully featured command line note taking tool written in Rust
  ☆358Updated 7 years ago
• kelseyhightower / echo
  echo prints the first positional argument to stdout
  ☆59Updated 8 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆89Updated 9 years ago
• cliqz-oss / keyvi
  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…
  ☆177Updated 6 years ago
• epoyraz / Awesome-Youtube-Channels
  Curated list of Awesome Youtube Channels about Programming
  ☆374Updated 2 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• diy1 / aspirator
  A simple tool that finds serious bugs in Java exception handler
  ☆124Updated 8 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• Randommood / Strangeloop2015
  Architectural patterns of resilient distributed systems
  ☆1,258Updated 7 years ago
• kragniz / omochabako
  Toy container runtime, capable of running docker images
  ☆67Updated 3 years ago
• ral99 / knuckleball
  Data structure server.
  ☆181Updated 8 years ago