☆53Dec 24, 2024Updated last year
Alternatives and similar repositories for shelf
Users that are interested in shelf are comparing it to the libraries listed below
Sorting:
- The world's fastest CRDT. WIP.☆1,766Sep 30, 2025Updated 5 months ago
- WebGL doesn't work with Docker and Puppeteer☆14Sep 28, 2021Updated 4 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 3 years ago
- Local-first address book☆71Sep 23, 2021Updated 4 years ago
- Architecture for end-to-end encrypted CRDTs☆226Sep 21, 2024Updated last year
- Implementation of the Open Diffix anonymization mechanism for PostgreSQL.☆19Dec 18, 2023Updated 2 years ago
- React starter kit with Graphql, Relay and Sequelize☆14Jan 18, 2016Updated 10 years ago
- ergonomic columnar storage encoding crate☆27Sep 23, 2025Updated 5 months ago
- Specs & docs for potential future and experimental Relay APIs☆38Aug 29, 2016Updated 9 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆17May 21, 2020Updated 5 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- The fast CRDT database☆100Dec 22, 2024Updated last year
- ☆24Sep 28, 2020Updated 5 years ago
- Enable revisioning and trails on your sequelize models☆22Sep 11, 2015Updated 10 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- ☆123Jan 13, 2024Updated 2 years ago
- Monorepo for Braid Projects in Javascript☆273Aug 17, 2025Updated 6 months ago
- is an hypercube of data☆34Sep 29, 2021Updated 4 years ago
- String scroll — smooth scrolling using css parameters☆50Dec 2, 2024Updated last year
- Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite☆3,645Oct 25, 2024Updated last year
- A collection of CRDT benchmarks☆525Apr 29, 2024Updated last year
- Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.☆168May 27, 2025Updated 9 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Calculate the planar averaged electrostatic potential for the density functional theory code VASP (Version 5 compatible)☆20Sep 10, 2017Updated 8 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Open Source Digital Signage Platform☆14Updated this week
- ☆10Jan 16, 2025Updated last year
- Small js library for enabling gesture events☆37Jun 4, 2021Updated 4 years ago
- A ruby ffi interface to SWI-Prolog that goes both ways.☆10Jul 21, 2023Updated 2 years ago
- Lexicographically-ordered position strings for collaborative lists and text☆47Dec 17, 2023Updated 2 years ago
- Ultimate IntelliJ IDEA Plugin, PasteBin Plugin for IntelliJ☆14Jan 13, 2018Updated 8 years ago
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 6 months ago
- Context provider for the Adonis framework based on async_hooks☆10Jan 2, 2018Updated 8 years ago
- Ancient Terracottas from South Italy and Sicily, by Maria Lucia Ferruzza☆10Jul 15, 2024Updated last year
- A Universal Binary JSON (UBJSON) parser, renderer and builder☆10Jul 6, 2013Updated 12 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A lightweight and simple to use shopping cart library.☆10Oct 31, 2022Updated 3 years ago
- ☆38Sep 1, 2019Updated 6 years ago
- A highly-configurable, distributed, realtime database that manages a state tree shared among many peers.☆917Mar 7, 2023Updated 3 years ago