JimChengLin/paxos-edu external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

JimChengLin/paxos-edu

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/JimChengLin/paxos-edu)

Close

JimChengLin / paxos-eduView on GitHubMore

• External links
• Readme badge

Basic Paxos implementation for education

☆13Aug 23, 2018Updated 7 years ago

Alternatives and similar repositories for paxos-edu

Users that are interested in paxos-edu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• kayaklee / tb-common-util

  View on GitHub
  clone from alibaba tb-common-util http://code.taobao.org/svn/tb-common-utils/
  ☆16Dec 28, 2015Updated 10 years ago
• mit-pdos / 6.826-2019-labs

  View on GitHub
  Lab assignments for 6.826
  ☆11Nov 8, 2019Updated 6 years ago
• lizheming / SubtitleDownload

  View on GitHub
  A Chrome extension for edX and XueTangX to download subtitle file from its page
  ☆13Jan 2, 2015Updated 11 years ago
• tureus / whisper

  View on GitHub
  Pure Rust Whisper File Library
  ☆11Mar 28, 2018Updated 8 years ago
• zimv / public-chart

  View on GitHub
  Public chart service for front-end.
  ☆10Jan 5, 2023Updated 3 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• AliyunContainerService / ingress-nginx

  View on GitHub
  NGINX Ingress Controller for Kubernetes
  ☆12Mar 5, 2021Updated 5 years ago
• andrewkroh / beats-processor-fingerprint

  View on GitHub
  Fingerprint Plugin for Elastic Beats
  ☆12Jun 15, 2023Updated 2 years ago
• xiaoxiaoxiaoxuan1028 / Alpha191

  View on GitHub
  Alpha191
  ☆13May 23, 2022Updated 3 years ago
• faulaire / matching-engine

  View on GitHub
  A matching engine written in C++
  ☆14Sep 29, 2018Updated 7 years ago
• YdrMaster / operators-rs

  View on GitHub
  算子库（Rust）
  ☆14Jul 24, 2025Updated 8 months ago
• NativeScript / demo-workers

  View on GitHub
  ☆11Jan 29, 2019Updated 7 years ago
• ShichaoMa / custom_redis

  View on GitHub
  python实现简单redis，实现redis基本功能以及可插拔数据结构
  ☆47Sep 24, 2019Updated 6 years ago
• hkfisher / ctp_hft

  View on GitHub
  QT做界面，基于ctp-api实现高频交易工具
  ☆14Aug 4, 2017Updated 8 years ago
• jonnathan-romero / Options-Market-Making

  View on GitHub
  ☆11Jun 10, 2018Updated 7 years ago
• Deploy open-source AI quickly and easily - Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• Ethan-TZ / EulerFormer

  View on GitHub
  [SIGIR 2024] This is the official PyTorch implementation for the paper: "EulerFormer: Sequential User Behavior Modeling with Complex Vect…
  ☆11Oct 1, 2024Updated last year
• jgardezi / Eurodollars

  View on GitHub
  EUR/USD forex algotrading on QuantConnect with 938% return on 10 years of backtesting data
  ☆14Dec 27, 2018Updated 7 years ago
• openstack-archive / synergy-scheduler-manager

  View on GitHub
  MOVED: now at https://opendev.org/x/synergy-scheduler-manager
  ☆10Sep 26, 2019Updated 6 years ago
• aldidoanta / TicTacToeMCTS

  View on GitHub
  A Unity WebGL project for a TicTacToe game, using Monte Carlo Tree Search (MCTS) for its AI decision making.
  ☆13Mar 18, 2023Updated 3 years ago
• OpenSoraAI / OpenSora

  View on GitHub
  Exquisite video generation
  ☆14Feb 18, 2024Updated 2 years ago
• ExampleDriven / grpc-eureka-java

  View on GitHub
  ☆11Nov 1, 2017Updated 8 years ago
• yujiweiwolf / tuna_hft

  View on GitHub
  高频交易系统结构
  ☆17May 21, 2020Updated 5 years ago
• code-423n4 / 2023-12-autonolas

  View on GitHub
  ☆10Mar 1, 2024Updated 2 years ago
• yu199195 / zheng

  View on GitHub
  基于Spring+SpringMVC+Mybatis分布式敏捷开发系统架构，提供整套公共微服务服务模块：集中权限管理（单点登录）、内容管理、支付中心、用户管理（支持第三方登录）、微信平台、存储系统、配置中心、日志分析、任务和通知等，支持服务治理、监控和追踪，努力为中小型企业…
  ☆13Oct 29, 2017Updated 8 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• withastro / astro-repl

  View on GitHub
  ☆24May 16, 2023Updated 2 years ago
• jptmoore / nibbledb

  View on GitHub
  a byte-sized time series database
  ☆23Dec 15, 2020Updated 5 years ago
• vyaspranjal33 / Learn-WebVR

  View on GitHub
  Resources to Learn WebVR 😎
  ☆13Jun 21, 2019Updated 6 years ago
• AbnerTeng / Quant-Finance

  View on GitHub
  A main CTA backtesting system and several research of utilizing machine learning on asset pricing
  ☆15Dec 9, 2024Updated last year
• HIT-ON-Github / awesome-hit-experiment

  View on GitHub
  You got it.
  ☆11Nov 14, 2015Updated 10 years ago
• aws-samples / cloud-builders-day-elastic-beanstalk-workshop

  View on GitHub
  The objective of Cloud Builders' Day repository is to provide do-it-yourself lab guides for several AWS services including but not limite…
  ☆11Aug 20, 2020Updated 5 years ago
• OlgaMaciaszek / spring-one-2021-rsocket-http-sample

  View on GitHub
  SpringOne 2021 RSocket HTTP bridge
  ☆16Apr 4, 2022Updated 4 years ago
• wondertrader / docs

  View on GitHub
  Documents of WonderTrader
  ☆23Nov 7, 2023Updated 2 years ago
• olihel / ps-scripting

  View on GitHub
  Automating Photoshop via JavaScript
  ☆15Jul 10, 2013Updated 12 years ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• aspose-psd / Aspose.PSD-for-Java

  View on GitHub
  Aspose.PSD for Java examples and showcases
  ☆20Jun 7, 2022Updated 3 years ago
• rsy56640 / Database_Learning

  View on GitHub
  Record Database learning
  ☆13Dec 2, 2023Updated 2 years ago
• jsbonso / AWS-Certified-Solutions-Architect-Professional-SAP-C01-2020

  View on GitHub
  AWS Certified Solutions Architect Professional 2020 - SAP-C01
  ☆10Dec 1, 2019Updated 6 years ago
• tompro / redis_ts

  View on GitHub
  Rust Redis time series API
  ☆23Apr 2, 2024Updated 2 years ago
• dolphindb / api-go

  View on GitHub
  ☆20Apr 2, 2026Updated last week
• kawanet / electron-express

  View on GitHub
  Electron + Express + WebSocket + msgpack (Sample Application)
  ☆17Dec 7, 2016Updated 9 years ago
• anandology / solving-puzzles-with-python

  View on GitHub
  Solving Puzzles with Python - tutorial at PyCon India 2012
  ☆18Oct 5, 2012Updated 13 years ago