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:
- Worksheets and lecture notes for my math courses for school students (in German)☆10Feb 12, 2026Updated 8 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆67Jul 17, 2026Updated 3 months ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Random notes on mathematics (in German)☆14Oct 17, 2026Updated last week
- Monty and Py grow up to become hackers. A Python book for children☆19Dec 29, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 6 years ago
- Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX☆13Jul 6, 2012Updated 14 years ago
- wrap your Sequelize objects in a dataloader caching layer☆12Jul 19, 2017Updated 9 years ago
- Simple wasm image filter example☆18Oct 9, 2022Updated 4 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Current work documents on the Pixy programming language☆14May 14, 2018Updated 8 years ago
- React components that embed raw HTML; syntactic sugar for dangerouslySetInnerHTML☆11Aug 25, 2021Updated 5 years ago
- Overview of pre-defined compiler macros for standards, compilers, operating systems, and hardware architectures☆14Sep 10, 2015Updated 11 years ago
- The emacs frontend for several search tools (ag, pt, sift, ripgrep, ...)☆16Jan 14, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Our Website☆17Oct 19, 2022Updated 4 years ago
- Implements a compositional algorithm for computing shortest paths on weighted graphs☆13Sep 1, 2023Updated 3 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Inline graphical display of images in Julia graphical environments☆25Jun 25, 2026Updated 4 months ago
- PyTone - Music jukebox redux☆13Dec 27, 2019Updated 6 years ago
- Visualize your everysinglestreet challenge☆10Mar 1, 2026Updated 7 months ago
- PCF with Contracts and Symbolic Values☆17Mar 30, 2016Updated 10 years ago
- Vim syntax file for sway config files☆11Jun 11, 2016Updated 10 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆20Feb 18, 2025Updated last year
- 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.
- ☆10Feb 3, 2025Updated last year
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- lean-related presentations☆18Oct 21, 2026Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆31Aug 16, 2013Updated 13 years ago
- Metropolis Beamer theme with UBC Colors and Logo☆12Dec 28, 2017Updated 8 years ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 7 months ago
- Drop-in comments module for a Yesod application☆10Sep 30, 2025Updated last year
- Code and data for Time-multiplexed Neural Holography | SIGGRAPH 2022☆34Aug 14, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- C/C++ style conditional compilation for Babel☆19Feb 10, 2016Updated 10 years ago
- A list of directories you should ignore by default☆23May 2, 2022Updated 4 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19May 1, 2021Updated 5 years ago
- Docker file to setup the Haskell Plattform 2013.2.0.0☆10Sep 6, 2013Updated 13 years ago
- Monitor upstream for updates.☆14Jul 25, 2020Updated 6 years ago
- A simple, accessible, mobile-ready textbook on HCI and Design.☆23Sep 12, 2026Updated last month
- Graph Equilibrium Radiative Transfer (GERT) in Julia: exchange factors from Monte Carlo ray tracing (2D participating media, 3D enclosure…☆11Oct 23, 2026Updated last week