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
Sorting:
- 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 last month
- Landingpage for Mouseless☆15Oct 6, 2022Updated 3 years ago
- Code samples from the presentation "What do you mean by 'Cache Friendly'?"☆24Sep 2, 2020Updated 5 years ago
- Asciifies a matrix of pixels.☆12Feb 13, 2025Updated last year
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- A Swift library for carefully refactoring critical paths.☆12Jan 13, 2022Updated 4 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 8 years ago
- Ray Framework (https://github.com/ray-project/ray) on Kubernetes☆13Oct 12, 2018Updated 7 years ago
- An package which generates mock-data using the PCG algorithm.☆11May 11, 2021Updated 4 years ago
- Provides an RPC interface to automate VSCode from other processes☆11May 29, 2021Updated 4 years ago
- ☆15Mar 7, 2018Updated 8 years ago
- 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 10 years ago
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- Math-aware QA system☆18Dec 17, 2022Updated 3 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 4 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Chrome extension that sends you to a random productive site from a list☆14Oct 10, 2016Updated 9 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 last year
- Fork of ffmpeg (git://source.ffmpeg.org/ffmpeg.git). Required to compile avrecode lossless video compression (https://github.com/dropbox/…☆19May 22, 2016Updated 9 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 4 years ago
- Computationally Modelling Resisting Strategies in Persuasive Conversations☆12Feb 6, 2022Updated 4 years ago
- Batteries-included platform for building real-time collaboration apps☆47May 17, 2023Updated 2 years ago
- 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 8 years ago
- Simple macOS GUI for ffmpeg written in Swift☆16Jun 22, 2020Updated 5 years ago
- Anki Flashcards Deck Stats Explorer and Visualizer☆13Jan 26, 2023Updated 3 years ago
- P1160 Add Test Polymorphic Memory Resource To Standard Library☆37Oct 3, 2024Updated last year
- The Convergence Client-Server Protocol☆13Jul 7, 2023Updated 2 years ago
- The Convergence Admin Console☆14Mar 7, 2023Updated 3 years ago
- ☆17Mar 21, 2021Updated 5 years ago
- Code from the book "How to create pragmatic, lightweight languages"☆17Nov 9, 2017Updated 8 years ago
- Haskell interface to BLPAPI☆31Sep 8, 2015Updated 10 years ago
- Скрипты для автомотического внесения статических записей в dns-кэш микротика☆14May 18, 2018Updated 7 years ago
- UI for cleaning up bibtex files and normalizing conference names aka book titles.☆23Jul 27, 2023Updated 2 years ago
- A neural text style transfer model☆12Jun 23, 2019Updated 6 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago