Paper Summaries
☆58Nov 18, 2020Updated 5 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed Systems Consistency Reading Group☆43Sep 20, 2020Updated 5 years ago
- A Javascript ARIES Simulator☆61Dec 27, 2017Updated 8 years ago
- A collection of state machine replication protocols☆123Dec 8, 2022Updated 3 years ago
- Peloton Design Docs☆28Aug 1, 2018Updated 7 years ago
- A Swiss Army knife for read-write quorum systems☆85Jun 7, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experimental Marimo extension for Agentic Notebooks -- integrating AI Agents into the Notebook workflow☆15Oct 11, 2025Updated 8 months ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- A utility for async batch jobs in marimo☆13Mar 12, 2025Updated last year
- Source code for the "WebSockets Powered Rails Applications" course.☆10Jan 20, 2015Updated 11 years ago
- Move to https://github.com/The-Pocket/PocketFlow-Rust☆10May 7, 2025Updated last year
- ☆11May 25, 2021Updated 5 years ago
- 118个按照题目类型分门别类的LeetCode题目，刷完这个再找工作容易多啦！☆14May 5, 2021Updated 5 years ago
- musl libc projects (such as _BSD_SOURCE)☆18Jan 1, 2014Updated 12 years ago
- This is an implementation of the CVPR'2021 paper "Learning Compositional Representation for 4D Captures with Neural ODE".☆20Apr 21, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Proper Way to Format PHP in Zed (Laravel Pint)☆14Oct 2, 2025Updated 9 months ago
- ☆25Apr 6, 2026Updated 2 months ago
- record daily learning☆11Aug 13, 2019Updated 6 years ago
- Python interface to the QDLDL (https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems☆18Apr 6, 2026Updated 2 months ago
- Paper on prioritizing road segments for cycling infrastructure☆13Sep 23, 2023Updated 2 years ago
- redis module for percentile estimation☆16Dec 26, 2019Updated 6 years ago
- ☆22Jun 28, 2019Updated 7 years ago
- React hooks for connecting to Agent Client Protocol (ACP) servers.☆58Updated this week
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Mar 4, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 years ago
- Atomic Puzzle Pack 3-in-1 game for Arduboy☆13Aug 29, 2017Updated 8 years ago
- Run computational experiments using marimo notebooks☆22Mar 31, 2026Updated 3 months ago
- Python interface for COSMO.jl convex optimisation solver.☆18Sep 27, 2021Updated 4 years ago
- Analyzing insurance fraud claims using IBM Db2 graph database☆13Jul 30, 2020Updated 5 years ago
- The Randomized Dependence Coefficient in Python☆20May 12, 2019Updated 7 years ago
- ☆14Feb 27, 2019Updated 7 years ago
- ☆26Apr 13, 2025Updated last year
- Stenographer is a packet capture solution which aims to quickly spool all packets to disk, then provide simple, fast access to subsets of…☆11Jan 22, 2019Updated 7 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.
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆13Feb 6, 2021Updated 5 years ago
- The Self-Driving Database Management System☆11Jun 22, 2018Updated 8 years ago
- Seamlessly integrate marimo reactive notebooks into JupyterLab and JupyterHub☆81Jun 26, 2026Updated last week
- Pocket Flow Project Template: Agentic Coding for Typescript☆24May 19, 2025Updated last year
- Comparison of graph processing systems.☆23Jun 18, 2017Updated 9 years ago
- Collection of Papers On Database Management Systems☆226Oct 13, 2016Updated 9 years ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago