A collection of hacks to efficiently run LaTeX via ssh
☆40Feb 3, 2023Updated 3 years ago
Alternatives and similar repositories for sshlatex
Users that are interested in sshlatex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Monty and Py grow up to become hackers. A Python book for children☆19Dec 29, 2015Updated 10 years ago
- wrap your Sequelize objects in a dataloader caching layer☆12Jul 19, 2017Updated 8 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Our Website☆17Oct 19, 2022Updated 3 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.
- Inline graphical display of images in Julia graphical environments☆26Oct 24, 2024Updated last year
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 6 years ago
- Stream based WebSocket implementation for node.js☆28Oct 6, 2018Updated 7 years ago
- Some fun with pipes!☆10Jan 12, 2021Updated 5 years ago
- Passive DNS server interface compliant to "Common Output Format"☆10Sep 19, 2016Updated 9 years ago
- FractionalTransforms.jl: A Julia package aiming at providing fractional order transforms with high performance.☆16Jul 15, 2022Updated 3 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- Visualize your everysinglestreet challenge☆10Mar 1, 2026Updated last month
- 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.
- Solver for Inverse PDE Problems☆13Nov 17, 2024Updated last year
- Variational Interpretable Concept Embeddings☆18Dec 12, 2023Updated 2 years ago
- A jinja2 extension that adds a {% markdown %} tag to jinja.☆11Mar 1, 2024Updated 2 years ago
- Official repository for the paper "Same Cause; Different Effects in the Brain"☆11Apr 25, 2022Updated 3 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Code and data for Time-multiplexed Neural Holography | SIGGRAPH 2022☆33Aug 14, 2023Updated 2 years ago
- Allows an AbstractArray, to look like an AbstractArray with one more dimension and the tiles are represented along this dimension.☆14May 3, 2025Updated 11 months ago
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Aug 1, 2023Updated 2 years ago
- This repository performs radiative heat transfer calculations in a user defined enclosure with a participating medium by using Monte Carl…☆10Feb 21, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Automate your espresso machine☆18May 8, 2024Updated last year
- Code Repository for the IndicXNLI paper.☆15Jul 8, 2023Updated 2 years ago
- A collection of TTFX workloads for Julia packages, for longitudinal performance testing.☆20Nov 17, 2025Updated 5 months ago
- A simple method for managing cache control headers from your application.☆15Dec 12, 2023Updated 2 years ago
- PyTone - Music jukebox redux☆13Dec 27, 2019Updated 6 years ago
- Personal repo for working on things prior to merging into official crDroid repositories. '-testx' branches are WIP, '-mxx' are milestone …☆10Jan 13, 2026Updated 3 months ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- [WIP] Adds physical storage device support to Netbox, primarily intended for SAS/SATA/NVMe type devices.☆12Mar 11, 2024Updated 2 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.
- A string diagram generator for LaTeX.☆31Jun 27, 2023Updated 2 years ago
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆16Sep 9, 2023Updated 2 years ago
- additional Emoji, LaTeX Symbols for Julia REPL 🤔☆16Mar 18, 2026Updated last month
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- Software phantoms for image reconstruction☆14Mar 30, 2026Updated 2 weeks ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated last month
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated 3 months ago