☆13Jul 23, 2018Updated 7 years ago
Alternatives and similar repositories for CMPS128-Winter17
Users that are interested in CMPS128-Winter17 are comparing it to the libraries listed below
Sorting:
- References for YOW2016☆19Dec 8, 2016Updated 9 years ago
- SVA-DSI Fall 2017 - basic course repository for syllabus, slides, materials☆13Dec 7, 2017Updated 8 years ago
- ☆15Feb 21, 2022Updated 4 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- Jepsen tests for PostgreSQL☆14Aug 30, 2025Updated 6 months ago
- ☆15Nov 28, 2018Updated 7 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Slick 2.0 Code Generator and Play Framework Evolutions☆39Sep 3, 2014Updated 11 years ago
- This project contains snippets of Scala code for various problems available on LeetCode,Hackerrank and also Data structures and algorithm…☆10May 23, 2024Updated last year
- ☆12Jun 18, 2024Updated last year
- Pritunl Zero Docker image☆18Nov 12, 2025Updated 3 months ago
- RxJava and SWT: Out with Events, in with FRP☆13Jun 17, 2016Updated 9 years ago
- RocksDB Ops CLI☆12Dec 17, 2016Updated 9 years ago
- awesome reinforcement learning for trading domain☆12Nov 5, 2020Updated 5 years ago
- An implementation of LDFI☆128Nov 4, 2018Updated 7 years ago
- Ansible role for mounting Amazon EFS Filesystems☆15Sep 5, 2019Updated 6 years ago
- Reproduction code for Postgres BUG #13667☆18Jan 7, 2016Updated 10 years ago
- Atomix Jepsen tests☆14Feb 7, 2017Updated 9 years ago
- scala-async support for twitter util library☆14Aug 26, 2019Updated 6 years ago
- GoCD secrets plugin for HashiCorp's Vault☆15Mar 1, 2026Updated last week
- A template-based cluster provisioning system☆61Mar 4, 2023Updated 3 years ago
- A blueprint template for adding basic patrol movement capabilities to AI characters in Unreal Engine.☆17Jun 18, 2025Updated 8 months ago
- The accompanying repository for The ScalingStatefulServices talk☆127Aug 12, 2016Updated 9 years ago
- Scale GoCD Agents on demand with Docker☆13Apr 15, 2018Updated 7 years ago
- A distributed key-value storage system built over RocksDB☆15Dec 30, 2016Updated 9 years ago
- ☆20Aug 21, 2018Updated 7 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- ☆14Jun 17, 2016Updated 9 years ago
- Java source code for the Black-Scholes option mode: from code.google.com/p/black-scholes☆18Aug 31, 2015Updated 10 years ago
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated 7 months ago
- Attempt at a more intelligent GoCD purge policy☆16Apr 26, 2021Updated 4 years ago
- Generate CLI commands using AI for common ops☆21Jan 8, 2026Updated 2 months ago
- ☆18May 26, 2025Updated 9 months ago
- Idiomatic Scala wrappers for Joda Time☆44Mar 9, 2017Updated 9 years ago
- TLA+ specification of the Ceph consensus algorithm☆24Jun 19, 2022Updated 3 years ago
- ☆20Aug 27, 2021Updated 4 years ago
- Simple web element selector inspired by Chrome DevTools☆15Jul 4, 2023Updated 2 years ago
- Vector Embedding Server in under 100 lines of code☆22Mar 1, 2024Updated 2 years ago