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
- A plugin for the awsome Vim editor that makes it possible to collaborate in realtime through the ShareLaTex service.☆26Jun 7, 2014Updated 12 years ago
- A PCB "wire harness" for Gaggiunio☆13May 18, 2025Updated last year
- Bluetooth Pressure Transducer (using ESP32)☆14Apr 28, 2024Updated 2 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.
- Create a data visualization using Polymer and WebGL☆15Jun 10, 2017Updated 9 years ago
- Examples of using a 3D Mouse with an Arduino☆17Apr 21, 2017Updated 9 years ago
- Home Assistant Duet3D custom integration☆14Apr 4, 2026Updated 4 months ago
- a fetch which displays memory info using /proc/meminfo☆13Jan 20, 2024Updated 2 years ago
- [unmaintained] Run Jupyter widgets outside of the notebook☆39Dec 10, 2018Updated 7 years ago
- ☆17Nov 4, 2023Updated 2 years ago
- ☆11Mar 5, 2016Updated 10 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 years ago
- Convert BibTeX entries to formatted Markdown for use with the kramdown processor☆26May 14, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Chrome Experience User Survey (CUES) extension.☆12Sep 23, 2015Updated 10 years ago
- Encrypted filesystem encfs GUI wrapper.☆15Aug 15, 2025Updated 11 months ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- A lightweight Java library for detecting mobile devices.☆23Jun 6, 2026Updated 2 months ago
- Optimization in python☆11Oct 5, 2018Updated 7 years ago
- WE Coffee Co. Gear Pump Controller software for Arduino Nano ESP32 microcontroller☆22Aug 21, 2025Updated 11 months ago
- Brain sensing headband experiment to model positive and negative emotional patterns using smart algorithms and the Muse API.☆17May 23, 2017Updated 9 years ago
- Writing proofs to Twitter since April 2020☆12Jun 9, 2022Updated 4 years ago
- JavaScript port of lmfit☆15Jan 13, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- My notes and tools from reverse engineering the HDbitT HDMI extender☆20Jul 14, 2022Updated 4 years ago
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Nov 23, 2016Updated 9 years ago
- </> A Polymer element for Github Corner.☆18Sep 10, 2017Updated 8 years ago
- A tool for searching unicode-symbols☆10Jan 12, 2018Updated 8 years ago
- Object-oriented programming in Python for mathematicians☆15Jan 20, 2026Updated 6 months ago
- DIY BLE espresso pressure profiler using an ESP32☆22Apr 3, 2024Updated 2 years ago
- An attempt to make the best set of menu files for a 12864 display run by a Duet Maestro.☆24Nov 12, 2024Updated last year
- Coq Code☆17Dec 12, 2025Updated 7 months ago
- Pyinstrument's C extensions - enables the development of a fast statistical profiler☆11Oct 8, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- FreeIOT is a open application to interact with multifarious IOT devices.☆10Oct 22, 2015Updated 10 years ago
- Abstract syntax tree representation of Markdown documents in Julia☆17Feb 16, 2026Updated 5 months ago
- Install upstream PostgreSQL server. Optionally creates users and databases.☆11Jun 24, 2026Updated last month
- Async SSH tunnel through a jump host.☆13Jun 27, 2023Updated 3 years ago
- Toy JVM is written in Rust☆13Jan 25, 2021Updated 5 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
- Display Julia types in a more human-friendly way.☆13Dec 18, 2020Updated 5 years ago