The socket.io layer of Overleaf for real-time editor interactions
☆17Aug 6, 2021Updated 4 years ago
Alternatives and similar repositories for real-time
Users that are interested in real-time are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An API for CRUD operations on binary files stored in S3☆26Dec 16, 2021Updated 4 years ago
- A CRUD API for storing and updating text documents in projects☆11Dec 16, 2021Updated 4 years ago
- An API for saving and compressing individual document updates into a browsable history☆17Dec 16, 2021Updated 4 years ago
- This project provides various tools for processing content MathML with Java.☆13Feb 17, 2026Updated 4 months ago
- Bridge between WriteLatex and Git.☆17Aug 6, 2021Updated 4 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.
- Landingpage for Mouseless☆15Oct 6, 2022Updated 3 years ago
- OpenMP GPU Accelerated Applications☆13Nov 20, 2025Updated 7 months ago
- Simple command line creation and editing of Evernote notes with Markdown and your favorite text editor☆32Jun 11, 2019Updated 7 years ago
- Wagtail 4.1 + Django 4.1 + Webpack + Postgres 11 + Dokku config (Production Ready)☆14Apr 23, 2023Updated 3 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- ☆15Jan 21, 2016Updated 10 years ago
- See effects of special relativity such as Terrell rotation, relativistic beaming and Doppler shift.☆15Apr 14, 2024Updated 2 years ago
- A Swift library for carefully refactoring critical paths.☆12Jan 13, 2022Updated 4 years ago
- An MCP server that provides Apple Health data via the Health Auto Export app for iOS☆53May 4, 2026Updated last month
- 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.
- Optimized Bootstrap 4 WordPress starter theme based on Underscores, Understrap, & Bootstrap☆16Mar 29, 2024Updated 2 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 9 years ago
- Deletes old files from slack teams. Useful for free times☆10Sep 16, 2017Updated 8 years ago
- Install the latest stable release of Fish on Linux or macOS☆12Mar 19, 2025Updated last year
- Provides an RPC interface to automate VSCode from other processes☆11May 29, 2021Updated 5 years ago
- apfs.efi driver in macOS High Sierra with logging suppressed.☆24Dec 9, 2017Updated 8 years ago
- Do translations and any text transformations with regex replace.☆18Feb 19, 2025Updated last year
- ☆15Mar 7, 2018Updated 8 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 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.
- Spore is a SIP client for android. With one click setup for free TLS/ZRTP calling on mycelial's truffle network.☆23Mar 7, 2013Updated 13 years ago
- libpypa is a Python parser implemented in pure C++☆10May 10, 2015Updated 11 years ago
- Math-aware QA system☆18May 8, 2026Updated last month
- 🧰 Development container features☆16Dec 13, 2025Updated 6 months ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 5 years ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- Atari Lynx library images for the Analogue Pocket☆11Apr 16, 2024Updated 2 years ago
- Fork of ffmpeg (git://source.ffmpeg.org/ffmpeg.git). Required to compile avrecode lossless video compression (https://github.com/dropbox/…☆19May 22, 2016Updated 10 years ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14May 18, 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.
- This GitHub Action converts RSS feed entries to Markdown files. It fetches the RSS feed, extracts relevant information from each entry, a…☆26Nov 5, 2024Updated last year
- Ad hoc http repeater/reverse proxy CLI tool for development. Example usage: $ ishi 192.168.100.1. This makes your Docker containers reach…☆12Mar 28, 2017Updated 9 years ago
- Coq library for verified low-level programming☆65Jun 15, 2017Updated 9 years ago
- Code from the book "How to create pragmatic, lightweight languages"☆17Nov 9, 2017Updated 8 years ago
- ☆10May 21, 2021Updated 5 years ago
- Скрипты для автомотического внесения статических записей в dns-кэш микротика☆14May 18, 2018Updated 8 years ago
- UI for cleaning up bibtex files and normalizing conference names aka book titles.☆23Jul 27, 2023Updated 2 years ago