An automated LaTeX build service for compiling continuous compiling of github repositories
☆62Jun 22, 2016Updated 9 years ago
Alternatives and similar repositories for github-latex-ci
Users that are interested in github-latex-ci are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ⚡️ Comvent - Simple control for GitHub Actions workflow with "comment event", allowing you to parse comments with regular expression☆11Feb 5, 2024Updated 2 years ago
- Amazon Simple Queue Service (SQS) API Client☆11Jan 12, 2020Updated 6 years ago
- Middleman extension for email link protection and obfuscation☆13Sep 2, 2018Updated 7 years ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:☆15Mar 6, 2012Updated 14 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- R package polyclip: a port of the Clipper library for polygon geometry☆20Jul 22, 2024Updated last year
- Possibly the smallest compiler ever☆10Oct 2, 2017Updated 8 years ago
- A Swift library for parsing BibTeX files.☆13Mar 1, 2021Updated 5 years ago
- Excel Tool zum Verwalten der Arbeitszeit☆17Sep 30, 2025Updated 5 months ago
- ☆13Jan 30, 2026Updated last month
- My project structure and management when working on scientific papers. To spend my time more efficiently.☆14Jun 11, 2015Updated 10 years ago
- Easy, automated, repeatable state migrations for Terraform☆12Dec 15, 2023Updated 2 years ago
- A reverse proxy that provides authentication via your Slack.com Team (Based on https://github.com/bitly/google_auth_proxy)☆16Feb 20, 2015Updated 11 years ago
- The GitHub repository containing all the material related to the Computational Thinking and Programming course of the Digital Humanities…☆14Dec 23, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- library and CLI tool that merges multiple Test Anything Protocol streams☆13Nov 21, 2019Updated 6 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Geographic Information System Application☆13Apr 7, 2023Updated 2 years ago
- Create graticule objects☆17Feb 13, 2026Updated last month
- Literals for Zarith's arbitrary-precision integers and rationals☆12Aug 18, 2022Updated 3 years ago
- A collection of Terraform "core" modules I would consider to be building blocks of any reasonable AWS account setup☆12Feb 22, 2023Updated 3 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- React component for rendering RDF graphs and datasets using n3.js and cytoscape.js☆10Nov 8, 2021Updated 4 years ago
- 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.
- A LaTeX package to typeset menu sequences, key strokes, paths etc.☆47Aug 27, 2025Updated 6 months ago
- A system to support (semi-)automated assessment of textual exercises☆21Sep 18, 2024Updated last year
- A fuzzy file finding Light Table plugin with style.☆32Sep 2, 2014Updated 11 years ago
- Many voices for Spatial.☆19Mar 14, 2023Updated 3 years ago
- Repository of the Crowdsourced Open Citations Index (CROCI)☆10Mar 19, 2019Updated 7 years ago
- Parse an Awesome Markdown list, and print out the number of stars☆15Jun 30, 2021Updated 4 years ago
- Orchard Opetopic Proof Assistant☆29May 2, 2016Updated 9 years ago
- Vim plugin: Text objects for foldings☆11Sep 11, 2019Updated 6 years ago
- A gx package manager environment tool for node.☆12Mar 26, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Homebrew formulae for nodenv plugins☆12Updated this week
- [DEPRECATED] Various tools for working within the BuckleScript ecosystem☆17Jun 13, 2018Updated 7 years ago
- makefile maker☆17Jun 19, 2020Updated 5 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- The world's best Vue.js component documentation tool☆15Mar 16, 2026Updated last week
- Port of mox library to python 3☆14Jun 19, 2020Updated 5 years ago
- Simple (optionally) caching proxy server.☆17Oct 7, 2021Updated 4 years ago