TexLive package manager for ArchLinux (or any distro using pacman)
☆16Mar 30, 2023Updated 3 years ago
Alternatives and similar repositories for tllocalmgr
Users that are interested in tllocalmgr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ueberzug fork that supports suckless's tabbed.☆14Oct 11, 2024Updated last year
- ☆15Jan 19, 2026Updated 7 months ago
- Modded version of AlternativaEditor with GPU support and much more!☆10Jul 24, 2026Updated last month
- An android application for remotely controlling cmus music player.☆13Dec 21, 2015Updated 10 years ago
- Plugin for Isochronic Tone Modulation in Audacity☆12Apr 2, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple zsh completion file for borgbackup☆11Nov 16, 2017Updated 8 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 6 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 12 years ago
- Blender plugin to read A3D format models used by Tanki Online HTML5☆15Dec 14, 2025Updated 8 months ago
- Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are workin…☆11Jan 5, 2017Updated 9 years ago
- Selenized themes for Kakoune☆14Jan 25, 2020Updated 6 years ago
- Arbitrary text completion for urxvt. MAINTAINER NEEDED☆68Aug 1, 2017Updated 9 years ago
- Modular Analysis and Reconstruction for the LINear Collider☆13Jul 14, 2026Updated last month
- a Staging location to track my changes from https://bitbucket.org/ixtab/kindlelauncher☆14Feb 14, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Static code analysis for VE280 projects☆17Jul 12, 2023Updated 3 years ago
- Visual Studio Code extension for searching selected or word under cursor in devdocs.io☆16May 17, 2023Updated 3 years ago
- BlackArch Linux Wiki☆18Feb 9, 2026Updated 6 months ago
- Org sync with Google Calendar☆52Jun 14, 2026Updated 2 months ago
- Unmaintained, archived. Superseded by bibtex-capf: https://codeberg.org/mclear-tools/bibtex-capf☆12May 30, 2026Updated 3 months ago
- A mirror of https://git.tecosaur.net/tec/pdftotext.el☆12Jan 4, 2024Updated 2 years ago
- Public Nullsecurity Website☆14Aug 3, 2026Updated last month
- An auto-complete source for Octave in emacs☆15Oct 25, 2022Updated 3 years ago
- ☆13Oct 18, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Freed Go (3D Game of Go) and Shuzzle (3D Shadow Jigsaw Puzzle)☆13Aug 4, 2025Updated last year
- Execute with Python Virtual Environment Activated☆17Nov 12, 2024Updated last year
- Autonomous coding agent right in your IDE.☆11Jan 14, 2025Updated last year
- Lua port of Selenized theme for Neovim with support for Tree-sitter, nvim-cmp, GitSigns and some more☆32Aug 6, 2025Updated last year
- List of source code repositories, related to Half-Life and GoldSrc☆19Aug 30, 2022Updated 4 years ago
- Display the emms mode line as a ticker☆15Jun 7, 2019Updated 7 years ago
- REPL for LispSyntax.jl☆20Dec 27, 2019Updated 6 years ago
- Scala utility to make print line debugging easier☆14Jul 3, 2021Updated 5 years ago
- HW interface for memory caches☆28Apr 21, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A minor mode for Emacs to track a streak.☆12Jan 6, 2024Updated 2 years ago
- The one file simple bug tracking application that incorporates a kanban board.☆12Jan 31, 2014Updated 12 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- This is the arduino code to Lawn Da Vinci, a remote controlled lawn mower. Learn how to make your own at www.kcproto.com☆12Oct 5, 2017Updated 8 years ago
- A modified version of oh-my-zsh's plugin colored-man-pages, optimized for solarized dark theme in terminal☆27Jul 1, 2019Updated 7 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- [mirror] Gtk greeter (https://git.sr.ht/~kennylevinsen/gtkgreet)☆19Dec 5, 2024Updated last year