Bridge between WriteLatex and Git.
☆46Nov 12, 2019Updated 6 years ago
Alternatives and similar repositories for writelatex-git-bridge
Users that are interested in writelatex-git-bridge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bridge between WriteLatex and Git.☆17Aug 6, 2021Updated 5 years ago
- A paper on an elaborate gait data set.☆11Mar 16, 2025Updated last year
- Jointly: A Python package for synchronizing sensors with accelerometer data☆11Jan 11, 2022Updated 4 years ago
- A PCB "wire harness" for Gaggiunio☆13May 18, 2025Updated last year
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Android UI element for displaying and editing an opening hours value☆10Apr 20, 2026Updated 4 months ago
- Create a data visualization using Polymer and WebGL☆15Jun 10, 2017Updated 9 years ago
- Auto-launching the RISE plugin for Binder presentations.☆73Jun 29, 2020Updated 6 years ago
- Files used for an Introduction to Machine Learning course☆11Dec 13, 2017Updated 8 years ago
- ☆18Oct 8, 2018Updated 7 years ago
- [unmaintained] Run Jupyter widgets outside of the notebook☆39Dec 10, 2018Updated 7 years ago
- Display stack traces in reverse order☆14Apr 14, 2023Updated 3 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Aug 23, 2026Updated last week
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 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.
- The Chrome Experience User Survey (CUES) extension.☆12Sep 23, 2015Updated 10 years ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- Notify on Telegram whenever someone posts on phpBB☆11Aug 30, 2018Updated 8 years ago
- utility to create xast trees☆13Jul 31, 2023Updated 3 years ago
- Folk dance event information.☆10Updated this week
- Optimization in python☆11Oct 5, 2018Updated 7 years ago
- ☆11May 8, 2019Updated 7 years ago
- WE Coffee Co. Gear Pump Controller software for Arduino Nano ESP32 microcontroller☆22Aug 21, 2025Updated last year
- Elegant Emacs theme with bright colors, based on https://github.com/sindresorhus/hyper-snazzy☆12Mar 12, 2017Updated 9 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.
- Writing proofs to Twitter since April 2020☆12Jun 9, 2022Updated 4 years ago
- Repository for GitDOX, a GitHub Data-storage Online XML editor☆17Updated this week
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Nov 23, 2016Updated 9 years ago
- Earley based parsing tools for XSLT☆10Oct 8, 2020Updated 5 years ago
- A port scanner lib written in the Rust language☆17Nov 3, 2016Updated 9 years ago
- This is a small Java programm that uses the `ProcessBuilder` to call a Python programm on the command line and exchange data with it via …☆10Oct 3, 2024Updated last year
- A set of tools for rendering and interacting with RTI/PTM data in a browser. IIIF compliant, three.js based and supporting multi-resoluti…☆13Jan 27, 2017Updated 9 years ago
- A TUI client for Zotero☆14Jul 21, 2021Updated 5 years ago
- A script that automatically backups all Overleaf projects to a local folder. It works.☆48Aug 11, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Python binding for odeiv2 interface from GNU Scientific Library (GSL)☆14Aug 18, 2026Updated last week
- Abstract syntax tree representation of Markdown documents in Julia☆17Feb 16, 2026Updated 6 months ago
- Async SSH tunnel through a jump host.☆13Jun 27, 2023Updated 3 years ago
- Let's Encrypt Revocation Event☆13Mar 5, 2020Updated 6 years ago
- 📌 A web extension which allow to find and copy any tips about the official Google Help Center☆11Dec 10, 2023Updated 2 years ago
- A Probability Theory Library for the Coq Theorem Prover☆55Oct 6, 2023Updated 2 years ago
- Display Julia types in a more human-friendly way.☆13Dec 18, 2020Updated 5 years ago