A nix type checker/lsp
โ102May 1, 2026Updated last month
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:
- ๐ฅ Controlled static privilege escalation utility with baked-in authentication rules. The most restrictive and lightweight replacement foโฆโ20Dec 2, 2025Updated 6 months ago
- Tini-like PID 1 for containers and target for NixOS modular servicesโ32Apr 14, 2026Updated last month
- Tunable sorting for responsive robustness and beyondโ18Feb 8, 2026Updated 4 months ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairsโ14Jan 14, 2022Updated 4 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.โ21Nov 26, 2023Updated 2 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.
- Vector builderโ16Jan 13, 2026Updated 4 months ago
- โ12Updated this week
- zerotier network configuration as a NixOS flakeโ14Updated this week
- Small example of a Nix-built servant-server with a reflex-dom client.โ12Feb 5, 2018Updated 8 years ago
- Type safe SQL query combinator in haskellโ10Jun 20, 2020Updated 5 years ago
- Barely working HTTP/2 Zig libraryโ15May 5, 2023Updated 3 years ago
- A tiny thin client for multiplayer gamesโ19Feb 6, 2014Updated 12 years ago
- A GHC plugin for rust style impl with -XOverloadedRecordDotโ19Nov 9, 2021Updated 4 years ago
- Bike gameโ14Aug 18, 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.
- An agenix extension adding secret generation and automatic rekeying using a YubiKey or master-identityโ418Mar 26, 2026Updated 2 months ago
- Geographical Position Calculationsโ17Sep 21, 2020Updated 5 years ago
- โ17Apr 13, 2023Updated 3 years ago
- A terse syntactic dialect of Rust ร la Haskellโ19Jul 24, 2024Updated last year
- A system for finding out which branches a GitHub pull request landed inโ19Updated this week
- A tiny & fast type system for Nix in Nixโ106Jan 15, 2026Updated 4 months ago
- Add specified programs (apps) on PATH.โ20Aug 26, 2025Updated 9 months ago
- A egui port of imnodesโ13May 10, 2026Updated last month
- A Typst plugin for visualizing Mermaid diagrams, built on top of oxdraw.โ37Oct 29, 2025Updated 7 months 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.
- Tracking code patterns through software versionsโ25Jun 18, 2024Updated last year
- Manage branches for your Jira ticketsโ18Jun 1, 2026Updated last week
- TVIX services backed by NATSโ22Oct 25, 2023Updated 2 years ago
- (Moved to Codeberg) Fuzzy finder algorithms a la Smith-Waterman for Zig.โ30Jan 25, 2026Updated 4 months ago
- Database-Supported Haskellโ28Feb 24, 2018Updated 8 years ago
- a cheap and simple educational brushless motorโ13Apr 1, 2016Updated 10 years ago
- Desktop app for Tchapโ38Jun 2, 2026Updated last week
- Modular generated command line interfaces using the same technology as the NixOS module system.โ44Feb 26, 2023Updated 3 years ago
- Hyprland ipc client and event receiverโ22Jul 31, 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.
- Examples for systemd-sysupdateโ62Nov 9, 2025Updated 7 months ago
- Interfacing with Large Language Models (remote and local) from Lean.โ29Jul 15, 2024Updated last year
- Pallet Cratesโ28Aug 10, 2012Updated 13 years ago
- openBDใฎใใผใฟใใในใฆใใฆใณใญใผใใใใใผใซโ22Jun 8, 2022Updated 4 years ago
- the second largest nix monorepoโ11Updated this week
- The monorepo containing my dotfiles and machine configurationsโ28May 28, 2026Updated last week
- A Nix web bundler because why notโ56Mar 10, 2024Updated 2 years ago