☆13Jul 23, 2018Updated 8 years ago
Alternatives and similar repositories for CMPS128-Winter17
Users that are interested in CMPS128-Winter17 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Language and execution engine for cloud programming☆21Mar 2, 2011Updated 15 years ago
- 🤖 Mr. Stuhlbein, completely automated☆11Jan 24, 2018Updated 8 years ago
- Reference materials for my FullStackFest 2016 talk☆19May 7, 2017Updated 9 years ago
- scala-async support for twitter util library☆13Aug 26, 2019Updated 6 years ago
- Factory goodness for twitter search responses wrapped in FakeWeb awesomeness.☆16Nov 4, 2009Updated 16 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Approximations to the Erlang C queue length formula for M/M/n queues☆11Dec 15, 2020Updated 5 years ago
- RxJava and SWT: Out with Events, in with FRP☆13Jun 17, 2016Updated 10 years ago
- generatively test state machines with models☆16Apr 21, 2014Updated 12 years ago
- ☆14Jun 17, 2016Updated 10 years ago
- Multiuser synthesizer☆19May 5, 2010Updated 16 years ago
- References for YOW2016☆19Dec 8, 2016Updated 9 years ago
- Get satisfaction with servers for your configs.☆18Apr 23, 2015Updated 11 years ago
- Atomix Jepsen tests☆14Feb 7, 2017Updated 9 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Backtrace Crash Delivery for Go☆24Oct 8, 2019Updated 6 years ago
- ☆15Sep 9, 2011Updated 14 years ago
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- A PagerDuty plugin for Lita☆25Oct 7, 2019Updated 6 years ago
- Play Framework, Akka Streams and Twitter streaming POC☆19Jun 24, 2015Updated 11 years ago
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Jun 16, 2026Updated last month
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Reproduction code for Postgres BUG #13667☆18Jan 7, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An executable that polls S3 for added files, and runs a COPY command in Amazon Redshift for the new file.☆17May 24, 2013Updated 13 years ago
- JRuby wrapper for Hystrix☆17Oct 7, 2013Updated 12 years ago
- ☆16Oct 9, 2025Updated 9 months ago
- ☆20Aug 21, 2018Updated 7 years ago
- A proof-of-concept Ruby implementation on top of JavaScript and the Objective-J runtime☆24Dec 21, 2009Updated 16 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- ☆55Feb 27, 2024Updated 2 years ago
- ☆14Nov 28, 2018Updated 7 years ago
- ☆10Mar 10, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- This repo contains the reference materials to my Craft Conf 2015 talk☆12Apr 28, 2015Updated 11 years ago
- Notes I've scribbled down at tech conferences☆18Feb 10, 2021Updated 5 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- Uses Google's Directions API to calculate commute times to/from potential homes☆14Jul 3, 2019Updated 7 years ago
- ☆15May 14, 2026Updated 2 months ago
- Simple interface for adding your pair to a commit via git commit --author☆22Nov 4, 2008Updated 17 years ago