☆14Jan 1, 2024Updated 2 years ago
Alternatives and similar repositories for WeeklyLaTeX
Users that are interested in WeeklyLaTeX 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 port of the melange-nvim colorscheme to helix☆11Mar 20, 2025Updated last year
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- Vim plugins for ConTeXt☆10Jul 8, 2023Updated 2 years ago
- For hosting ATS3 and developing CodeDepot☆18Updated this week
- The package 📦 registry 📡 of Zana.☆15Apr 1, 2026Updated last month
- 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.
- (Lua)TeX package to automatically remove widows and orphans from any document☆21Feb 19, 2026Updated 2 months ago
- TLA+ tools for Emacs☆36Dec 14, 2024Updated last year
- parsec for nim☆13Jun 22, 2020Updated 5 years ago
- Manipulations and data types that represent polynomial☆19Updated this week
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- OpenFOAM grammar for Tree-Sitter☆16Sep 12, 2025Updated 7 months ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 years ago
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- the blog "Machine Logic"☆22Apr 26, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- JSON Schema validator and generator for Rails 3+☆16Aug 6, 2015Updated 10 years ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- GTK/Rust based viewer for the Mandelbrot set☆18Apr 13, 2026Updated 3 weeks ago
- Extrator do conteúdo da página de transparência da Secretaria de Segurança Pública de São Paulo☆10Aug 25, 2018Updated 7 years ago
- Emacs major mode for Alloy☆13Jul 14, 2018Updated 7 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆17Jan 31, 2021Updated 5 years ago
- Ruby bindings for Syncthing REST API☆20Jun 29, 2017Updated 8 years ago
- Download YouTube videos and audio in multiple formats☆11Nov 19, 2016Updated 9 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated last year
- Control.Effects☆19Apr 14, 2019Updated 7 years ago
- A DSL for processing Kafka data streams in pure Erlang☆11Mar 1, 2021Updated 5 years ago
- HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.☆13Jun 8, 2021Updated 4 years ago
- ☆28May 2, 2012Updated 14 years ago
- An opinionated OTP framework wrapper☆26Jan 23, 2025Updated last year
- R + Markdown + Jekyll + htmlwidgets☆10Mar 24, 2017Updated 9 years ago
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- Mup music publication program☆13Nov 30, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Simple, elegant, profunctorial, applicative validation for product types!☆19Aug 25, 2021Updated 4 years ago
- covid-19 data in J☆16Dec 14, 2021Updated 4 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- A Unison implementation of the game 2048 that uses the terminal as the user interface.☆15Feb 8, 2021Updated 5 years ago
- Relcast library☆17Feb 7, 2023Updated 3 years ago
- A scriptable autotuning load generator for MQTT☆18Mar 4, 2026Updated 2 months ago