☆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 7 years ago
- Factory goodness for twitter search responses wrapped in FakeWeb awesomeness.☆16Nov 4, 2009Updated 16 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Approximations to the Erlang C queue length formula for M/M/n queues☆11Dec 15, 2020Updated 5 years ago
- ☆14Jun 17, 2016Updated 10 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
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Backtrace Crash Delivery for Go☆24Oct 8, 2019Updated 6 years ago
- ☆15Sep 9, 2011Updated 15 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☆14Updated this week
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Reproduction code for Postgres BUG #13667☆18Jan 7, 2016Updated 10 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.
- 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 11 months ago
- ☆20Aug 21, 2018Updated 8 years ago
- A proof-of-concept Ruby implementation on top of JavaScript and the Objective-J runtime☆23Dec 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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☆14Jan 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 4 months ago
- Your indispensable partner in programming☆15Jun 8, 2023Updated 3 years ago