Mechanix for NixOS
☆20Sep 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for mechanix-nix
Users that are interested in mechanix-nix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Home Manager, but for repos.☆18Updated this week
- Implementation of Dhall in Dhall☆12Sep 25, 2026Updated 2 weeks ago
- A definition and reference implementation for MRA in PureScript.☆18Aug 11, 2017Updated 9 years ago
- OAuth2 library for Common Lisp☆15Apr 2, 2012Updated 14 years ago
- A (toy) library for interfacing with stripe.com from Common Lisp☆16Apr 9, 2013Updated 13 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- use loriini in neovim☆12Apr 28, 2026Updated 5 months ago
- Describe elliptic curves☆35May 10, 2021Updated 5 years ago
- Independent vote verification tool for IVXV protocol of Estonia's Internet Voting (2015 onwards)☆11Nov 5, 2025Updated 11 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆27Sep 10, 2015Updated 11 years ago
- ☆15Oct 25, 2024Updated last year
- A simple link checker in Go☆14Aug 15, 2026Updated last month
- Neovim plugin to help with markdown tables☆12May 29, 2022Updated 4 years ago
- Haskell to C compiler via Categorifier☆39Dec 15, 2023Updated 2 years ago
- A flat container abstraction for Rust☆17Nov 24, 2025Updated 10 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Home of the DigiPixel☆28Jul 17, 2020Updated 6 years ago
- Puppet samba module ⛺☆10Jun 9, 2024Updated 2 years ago
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- HTML template strings☆12Jul 18, 2020Updated 6 years ago
- Extend jq for any data format☆17Aug 18, 2026Updated last month
- CLI tool to manage a r10k-style control repository☆11Dec 15, 2023Updated 2 years ago
- Puff Python Library☆12Nov 15, 2022Updated 3 years ago
- If batman needed a tz converter to show times between different timezones that would be it 🦇☆19Sep 10, 2026Updated last month
- A container with the official VMware Horizon client for your VMware DaaS infrastructure.☆13Aug 28, 2024Updated 2 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.
- A YAML representation library which explicitly retains provenance data☆20May 26, 2025Updated last year
- The Chiplotle serial plotter library for Python 3☆14Mar 10, 2025Updated last year
- Meraki Dashboard API☆15Oct 7, 2020Updated 6 years ago
- ESPHome enabled Gauge☆10Sep 16, 2022Updated 4 years ago
- Minimal application for wgpu on native platforms☆11Dec 25, 2025Updated 9 months ago
- OpenSCAD-ify Blender☆22May 2, 2022Updated 4 years ago
- Guide to install Arch Linux with LUKS encryption on an hetzner server☆14May 12, 2026Updated 4 months ago
- Python Microservices with OpenID-Connect/OAuth2☆12Mar 25, 2021Updated 5 years ago
- Syncthing module for Puppet☆14Jan 4, 2020Updated 6 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.
- Continuous Database Configuration with Flyway and Kubernetes☆15Jun 15, 2022Updated 4 years ago
- Build Caddy with additional plugins with Nix☆19Dec 1, 2025Updated 10 months ago
- Discord Invite Generator And Checker. Using HTTPS Proxy (Autoscraper)☆13Oct 31, 2020Updated 5 years ago
- Differentiable Tree Machine☆14Nov 3, 2023Updated 2 years ago
- string building using comptime in zig☆17May 9, 2023Updated 3 years ago
- 🖼 Proof-of-concept GUI rendering engine for WebGL and Rust☆17Dec 8, 2021Updated 4 years ago
- External-DNS Webhook Provider to manage STACKIT DNS Records☆19Updated this week