Easily track your ShareLaTeX changes using git. One simple command to rule them all!
☆20Jan 14, 2019Updated 7 years ago
Alternatives and similar repositories for overleafv2-git-integration-unofficial
Users that are interested in overleafv2-git-integration-unofficial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 💡 Explaining unsatisfiability in ASP☆13Oct 4, 2026Updated last month
- PhD thesis: "Knowledge Graph Construction from Heterogeneous Data Sources exploiting Declarative Mapping Rules"☆14Mar 24, 2022Updated 4 years ago
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Updated this week
- Simple scripts for personalized persistent controlled containers☆12Oct 23, 2024Updated 2 years ago
- JATS4R Schematrons☆12Oct 13, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🧠 A solver for epistemic logic programs.☆16Dec 14, 2024Updated last year
- Python library for parsing eLife article XML data.☆15Oct 6, 2026Updated last month
- A command-line utility for pulling code blocks out of markdown files.☆18Jul 9, 2026Updated 3 months ago
- ibus-table-others☆20Feb 16, 2026Updated 8 months ago
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Jan 7, 2023Updated 3 years ago
- Command line-driven HTTP request builder☆23Dec 9, 2016Updated 9 years ago
- A R to ascii converter☆20Mar 4, 2015Updated 11 years ago
- tools for creating an automatic publishing workflow.☆20Oct 6, 2026Updated last month
- Code Narrator - an inverse literate programming tool.☆24Nov 30, 2012Updated 13 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.
- The TypeScript definition registry☆13Aug 1, 2017Updated 9 years ago
- ☆17Oct 15, 2026Updated 3 weeks ago
- QCoDeS drivers for Zurich Instruments devices☆13Oct 13, 2026Updated 3 weeks ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- Python utilities for storing, processing, and visualizing spectroscopic and imaging data☆12Jun 24, 2026Updated 4 months ago
- Easily track your ShareLaTeX changes using git. One simple command to rule them all!☆68Jul 25, 2018Updated 8 years ago
- Differentiable Spline Approximations☆14Sep 3, 2023Updated 3 years ago
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 9 years ago
- Decontextualizing Snippets from Scientific Documents with Large Language Models☆13Oct 10, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tools to collect detailed usage analytics of Idyll articles.☆15Nov 18, 2024Updated last year
- ☆11Oct 2, 2020Updated 6 years ago
- Infer the age of ancestral nodes in a tree sequence.☆27Updated this week
- UC Berkeley PhD thesis template☆11Jun 5, 2016Updated 10 years ago
- Transformer and Neural Operator for solving Stochastic PDE☆12May 22, 2022Updated 4 years ago
- Demo of using dom-anchor-text-quote to anchor annotations independently of the Hypothesis client☆12May 7, 2018Updated 8 years ago
- Load SweepMe! instrument drivers in your own python projects.☆18Updated this week
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 3 years ago
- ☆11Aug 8, 2022Updated 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.
- Top-down interpreter for ASP programs with Constraints☆48Updated this week
- Sample JavaFX WebView application for full featured debugging with Chrome Dev Tools☆14Jan 4, 2022Updated 4 years ago
- a literate programming "weaver" which can run as CGI to produce folding HTML-formatted documentation and runs with "noweb" tools of Norma…☆16Jan 15, 2010Updated 16 years ago
- Convolutions and more as einsum for PyTorch☆18Jun 6, 2024Updated 2 years ago
- Code for the paper "Hone as You Read: A Practical Type of Interactive Summarization"☆12May 6, 2021Updated 5 years ago
- A package for parsing neural network properties in VNN-LIB format☆12Jul 18, 2026Updated 3 months ago
- Real-time collaboration in Vim. Maybe.☆10Feb 15, 2013Updated 13 years ago