My personal Nix infrastructure.
☆19Jan 8, 2023Updated 3 years ago
Alternatives and similar repositories for nix-configs
Users that are interested in nix-configs are comparing it to the libraries listed below
Sorting:
- A NixOps plugin supporting Hetzner Cloud deployments.☆28Feb 19, 2023Updated 3 years ago
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- ☆21May 18, 2023Updated 2 years ago
- ☆16May 5, 2022Updated 3 years ago
- Composer plugin to help with Nix packaging☆17May 20, 2022Updated 3 years ago
- This is example for server with graphql and db on rust language☆20Mar 16, 2021Updated 4 years ago
- a library to implement ruby for typst language☆29Jul 29, 2023Updated 2 years ago
- Python script that will take two manga pages, identify all the regions where the two are different, and let you choose which parts of whi…☆10Mar 28, 2021Updated 4 years ago
- Ranged integers for Rust based on const generics☆29Jan 31, 2026Updated last month
- Home manager module for themeing programs with base16 templates☆25Sep 4, 2020Updated 5 years ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- ☆42May 10, 2025Updated 9 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- ☆10Aug 16, 2024Updated last year
- Tutorial on how to create a twitter bot that replied to mentions☆10Sep 16, 2023Updated 2 years ago
- learn llvm from scratch☆14Apr 29, 2023Updated 2 years ago
- Extensions for the Rust standard library☆41Apr 2, 2024Updated last year
- NixOS module for QEMU VM's using a similar interface to nixos-containers.☆41Sep 1, 2019Updated 6 years ago
- WAI Request Throttling Middleware☆16Oct 11, 2024Updated last year
- snippets.nvim integration☆13Feb 22, 2021Updated 5 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- An open source Crunchyroll API made in C#☆11Mar 8, 2018Updated 8 years ago
- Papa Scorch cli mod manager for Northstar clients and servers☆11Jan 5, 2026Updated 2 months ago
- 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
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Mar 3, 2026Updated last week
- Read or write to a stream using `while` and `await`, not event handlers.☆13Apr 19, 2023Updated 2 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- ☆12Jul 15, 2024Updated last year
- Script for generating PNG preview from asciicast JSON file☆14Apr 13, 2022Updated 3 years ago
- File explorer for nvim and powered by rust☆12May 27, 2021Updated 4 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 6 months ago
- Exports Aseprite files to icos, curs and anis. Supports some imports.☆12Sep 7, 2025Updated 6 months ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Candidates listing engine for vim/nvim built on yaegi on golang.☆12Mar 15, 2023Updated 2 years ago
- An example of KHR raytracing using ash and rust-gpu.☆12Feb 24, 2024Updated 2 years ago
- Minimalistic day-planner app☆47Dec 31, 2025Updated 2 months ago
- ☆12Nov 24, 2021Updated 4 years ago
- A pure Rust BC1/2/3/4/5 compressor and decompressor based on libsquish☆10Jul 28, 2022Updated 3 years ago