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.
Sorting:
- Simple implementation of Paxos protocol in Python☆77Apr 22, 2011Updated 15 years ago
- clone from alibaba tb-common-util http://code.taobao.org/svn/tb-common-utils/☆16Dec 28, 2015Updated 10 years ago
- TimeSeries Java client for Facebook Beringei. It also includes query service with tags support for metrics.☆10May 13, 2017Updated 8 years ago
- win7下用opencv获取摄像头，ffmpeg录制h264，使用Qt的UI☆14Feb 16, 2017Updated 9 years ago
- A Chrome extension for edX and XueTangX to download subtitle file from its page☆13Jan 2, 2015Updated 11 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.
- HTTP client library wrapping Apache HttpAsyncClient☆17May 5, 2025Updated 11 months ago
- Some java tracks, experiments, etc.☆10Sep 16, 2014Updated 11 years ago
- Implementation of a simple matching engine and an order book for a stock exchange☆13Aug 28, 2017Updated 8 years ago
- 基于.NET的微信 公众平台API的封装☆10Nov 24, 2018Updated 7 years ago
- Public chart service for front-end.☆10Jan 5, 2023Updated 3 years ago
- A Pinterest likely application which also involves LBS and SNS.☆92Dec 6, 2013Updated 12 years ago
- Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies☆13Aug 29, 2016Updated 9 years ago
- NGINX Ingress Controller for Kubernetes☆12Mar 5, 2021Updated 5 years ago
- Alpha191☆13May 23, 2022Updated 3 years ago
- 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.
- Website for HKU NLP group (under construction)☆14Mar 20, 2026Updated last month
- A matching engine written in C++☆14Sep 29, 2018Updated 7 years ago
- 微信打飞机 Swift 实现☆19Jun 6, 2014Updated 11 years ago
- pytest plugin which adds pdb helper commands related to pytest.☆12May 19, 2022Updated 3 years ago
- ☆11Jan 29, 2019Updated 7 years ago
- python实现简单redis，实现redis基本功能以及可插拔数据结构☆47Sep 24, 2019Updated 6 years ago
- QT做界面，基于ctp-api实现高频交易工具☆14Aug 4, 2017Updated 8 years ago
- a naive static http server that solves C10K problem☆17Jan 8, 2017Updated 9 years ago
- ☆11Jun 10, 2018Updated 7 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.
- A HFT Market Simulation utilizing high-speed, efficient C++ and concurrent/parallel programming☆18Nov 3, 2023Updated 2 years ago
- [SIGIR 2024] This is the official PyTorch implementation for the paper: "EulerFormer: Sequential User Behavior Modeling with Complex Vect…☆11Oct 1, 2024Updated last year
- For decoding log files☆22Jun 7, 2021Updated 4 years ago
- EUR/USD forex algotrading on QuantConnect with 938% return on 10 years of backtesting data☆14Dec 27, 2018Updated 7 years ago
- MOVED: now at https://opendev.org/x/synergy-scheduler-manager☆10Sep 26, 2019Updated 6 years ago
- Jenson is a JSON serialization library based on Qt's Property system and Qt's Json library.☆15Jan 30, 2018Updated 8 years ago
- A riemann client on tokio, async/await☆21Jun 21, 2025Updated 10 months ago
- Need to convert all your dev-speak into plain English? This might help.☆11Sep 6, 2021Updated 4 years ago
- 一个使用electron-vue构建的aria2客户端。☆10Jul 10, 2020Updated 5 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.
- ☆11Nov 1, 2017Updated 8 years ago
- 高频交易系统结构☆17May 21, 2020Updated 5 years ago
- ☆24May 16, 2023Updated 2 years ago
- Code repository of all tutorials found at http://learnopengl.com☆14Jan 31, 2017Updated 9 years ago
- golang labs☆18Oct 9, 2020Updated 5 years ago
- Resources to Learn WebVR 😎☆13Jun 21, 2019Updated 6 years ago
- A main CTA backtesting system and several research of utilizing machine learning on asset pricing☆15Dec 9, 2024Updated last year