A nix type checker/lsp
โ61Apr 6, 2026Updated this week
Alternatives and similar repositories for tix
Users that are interested in tix 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 vim plugin that provides the function to automatically preview a given pandoc file in your favorite pdf viewerโ10Oct 30, 2019Updated 6 years ago
- ๐ฅ Controlled static privilege escalation utility with baked-in authentication rules. The most restrictive and lightweight replacement foโฆโ20Dec 2, 2025Updated 4 months ago
- zerotier network configuration as a NixOS flakeโ14Apr 2, 2026Updated last week
- A tiny thin client for multiplayer gamesโ19Feb 6, 2014Updated 12 years ago
- Nix module system that generates containers for GPU markets like vast.ai or runpod.ioโ34Mar 5, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A web UI for generating Linux images for Ethereum homestakingโ11Mar 30, 2026Updated last week
- Bike gameโ14Aug 18, 2024Updated last year
- Terminal application for reading https://yle.fi/tekstitv/txt/โ13May 23, 2025Updated 10 months ago
- โ17Apr 13, 2023Updated 2 years ago
- A system for finding out which branches a GitHub pull request landed inโ19Updated this week
- Add specified programs (apps) on PATH.โ20Aug 26, 2025Updated 7 months ago
- Port of an unofficial EPFL LaTeX template to Typst.โ17Feb 25, 2025Updated last year
- A egui port of imnodesโ13Mar 29, 2026Updated last week
- A Study of Database Performance Sensitivity to Experiment Settingsโ10May 31, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform โข AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Typst plugin for visualizing Mermaid diagrams, built on top of oxdraw.โ36Oct 29, 2025Updated 5 months ago
- Tracking code patterns through software versionsโ25Jun 18, 2024Updated last year
- Nix CycloneDX Software Bills of Materials (SBOMs)โ133Apr 2, 2026Updated last week
- TVIX services backed by NATSโ22Oct 25, 2023Updated 2 years ago
- a cheap and simple educational brushless motorโ13Apr 1, 2016Updated 10 years ago
- Desktop app for Tchapโ26Updated this week
- Examples for systemd-sysupdateโ59Nov 9, 2025Updated 5 months ago
- โ21Sep 27, 2025Updated 6 months ago
- Modular generated command line interfaces using the same technology as the NixOS module system.โ44Feb 26, 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 and start building anything your business needs.
- Interfacing with Large Language Models (remote and local) from Lean.โ28Jul 15, 2024Updated last year
- nix-based continuous integration systemโ101Updated this week
- openBDใฎใใผใฟใใในใฆใใฆใณใญใผใใใใใผใซโ22Jun 8, 2022Updated 3 years ago
- A Nix web bundler because why notโ56Mar 10, 2024Updated 2 years ago
- ๐ FunMacs - Yet Another Lightweight Emacs Configuration, Using KISS philosophy.โ53Nov 13, 2025Updated 4 months ago
- Zotero built from source on Nixโ20Feb 17, 2026Updated last month
- A cyclic pattern abstraction, heavily inspired by TidalCycles.โ33Mar 10, 2025Updated last year
- A Datomic-like database library on top of Sqliteโ42Dec 26, 2025Updated 3 months ago
- Lordly NixOS Configurationsโ30Mar 30, 2026Updated last week
- End-to-end encrypted email - Proton Mail โข AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An agenix extension adding secret generation and automatic rekeying using a YubiKey or master-identityโ399Mar 26, 2026Updated 2 weeks ago
- Linux Kernel Driver Databaseโ20Feb 26, 2023Updated 3 years ago
- ๐๏ธ rm alternative written in Go.โ13Mar 25, 2026Updated 2 weeks ago
- Run one lexical scope across distributed peers.โ23Dec 23, 2025Updated 3 months ago
- Analyzing the fast inverse square root from Quake III Arenaโ15Oct 23, 2023Updated 2 years ago
- Create, compile and manage your Gradle projects without leaving vim!โ11Jun 27, 2022Updated 3 years ago
- FastAPI backend enterprise templateโ19Mar 29, 2025Updated last year