A transpiled superset of TeX for writing LaTeX.
☆74Feb 27, 2026Updated 7 months ago
Alternatives and similar repositories for LiA
Users that are interested in LiA 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 small repo to release coursier using self-hosted Mac M1 runner☆10Feb 11, 2026Updated 7 months ago
- Ubisoft Name Claimer, Swapper, and Account Checker☆10May 23, 2023Updated 3 years ago
- A terminal UI for browsing and inspecting vector databases☆15Apr 19, 2026Updated 5 months ago
- ☆15Nov 4, 2025Updated 10 months ago
- Smart fuzzy completion for pip.☆12Jun 15, 2020Updated 6 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.
- Modified Differencing Schemes for OpenFOAM☆12Jan 10, 2025Updated last year
- ☆13May 22, 2024Updated 2 years ago
- tuner tui☆15Apr 15, 2026Updated 5 months ago
- ☆11Aug 28, 2025Updated last year
- Super figure is a vscode extension that implements integration for Inkscape and Gimp as means to quickly launch and edit figures and see …☆20Mar 16, 2024Updated 2 years ago
- Building portable fish shell☆33Sep 9, 2023Updated 3 years ago
- My Neovim Configuration☆24Jul 2, 2024Updated 2 years ago
- 🦈 Lovely shark now in terminal!☆14Oct 19, 2024Updated last year
- Go bindings for creating BPF programs.☆13Jul 2, 2021Updated 5 years ago
- 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.
- Tag-based webview of LaTeX documents☆35May 28, 2026Updated 4 months ago
- A modular terminal dashboard built with Go and Bubble Tea☆26Updated this week
- My dotfiles for zsh, p10k, vim, nvim, tmux.☆18Jan 7, 2026Updated 8 months ago
- ☆18Mar 6, 2026Updated 6 months ago
- Telescope extension to navigate Firefox's history and bookmarks☆12Mar 8, 2024Updated 2 years ago
- Representing DES in Z3☆16Jul 14, 2023Updated 3 years ago
- Leader key for Awesome WM☆17Feb 8, 2021Updated 5 years ago
- Website where you can paste Spotify link and get name and author of the song back, now made with Astro☆12Nov 3, 2024Updated last year
- Platform portable examples for OpenFOAM☆50Updated this week
- 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.
- my private nixos configurations, always will be a WIP☆29Updated this week
- Easy system reminders for Linux!☆11Aug 16, 2024Updated 2 years ago
- A simple and ergonomic optional type for Go.☆35Jan 30, 2024Updated 2 years ago
- A very very simple OhMyZsh plugin which displays reminders above every prompt☆41Jun 15, 2021Updated 5 years ago
- cgroups for terminals☆13Sep 3, 2024Updated 2 years ago
- A tool to visualize code ownership over time, from the git history☆14Sep 19, 2026Updated last week
- ☆12Oct 7, 2020Updated 5 years ago
- Awesome list of IHP links & projects. 😎☆15Jan 13, 2022Updated 4 years ago
- Steve's Miscellaneous Functions☆10May 26, 2026Updated 4 months 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.
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Doggo Browser☆12May 28, 2021Updated 5 years ago
- latex code from my first year of engineering.☆428Jan 30, 2025Updated last year
- Modern Thread-Safe Caching System with Basic Full Text Functionalities☆51May 20, 2023Updated 3 years ago
- Some wallpapers made by myself☆12Feb 5, 2024Updated 2 years ago
- An embedded Rust IDE with an emphasis on a fun and insightful coding experience☆11Sep 23, 2024Updated 2 years ago
- Backup☆10Jun 16, 2026Updated 3 months ago