☆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:
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- For hosting ATS3 and developing CodeDepot☆18Jun 14, 2026Updated 2 weeks ago
- TLA+ tools for Emacs☆36Dec 14, 2024Updated last year
- parsec for nim☆13Jun 22, 2020Updated 6 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- 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.
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 14 years ago
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- A package to load environment variable files into emacs☆10May 15, 2018Updated 8 years ago
- the blog "Machine Logic"☆22Updated this week
- JSON Schema validator and generator for Rails 3+☆16Aug 6, 2015Updated 10 years ago
- OCaml implementation of histogram-approximation algorithm☆16Oct 28, 2022Updated 3 years ago
- GTK/Rust based viewer for the Mandelbrot set☆19Apr 13, 2026Updated 2 months 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
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- 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.
- 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 9 years ago
- Download YouTube videos and audio in multiple formats☆11Nov 19, 2016Updated 9 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- 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 5 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.
- ☆28May 2, 2012Updated 14 years ago
- Automatic hacking tool for URL regexes.☆11Feb 12, 2021Updated 5 years ago
- An opinionated OTP framework wrapper☆26Jan 23, 2025Updated last year
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- Mup music publication program☆15Nov 30, 2024Updated last year
- Simple, elegant, profunctorial, applicative validation for product types!☆19Aug 25, 2021Updated 4 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
- 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.
- A scriptable autotuning load generator for MQTT☆18Mar 4, 2026Updated 4 months ago
- Rails AJAX on vanila Javascript☆15Nov 1, 2021Updated 4 years ago
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 4 years ago
- Capture TODOs for project using org-mode☆16Aug 11, 2023Updated 2 years ago
- ☆11Mar 28, 2015Updated 11 years ago
- A clojure library for bypassing java protected fields☆46May 25, 2013Updated 13 years ago
- Obsidian Markdown filter for Marked 2.☆13Jul 20, 2024Updated last year