cillynder / flakesView external linksLinks
NixOS config using flakes
☆18Updated this week
Alternatives and similar repositories for flakes
Users that are interested in flakes are comparing it to the libraries listed below
Sorting:
- personal nixos config☆16Feb 6, 2026Updated last week
- A Nix flake to install Discord with Powercord☆13Sep 30, 2022Updated 3 years ago
- A GitHub action to automatically update nix flake dependencies☆20Dec 10, 2025Updated 2 months ago
- just another blog, but built with rust☆18Mar 31, 2024Updated last year
- A major enhancement and partial rewrite of the existing Objective extension for SillyTavern.☆21Mar 17, 2025Updated 10 months ago
- ctOS: The central operating system☆12Jan 18, 2026Updated 3 weeks ago
- 锦书 [WIP]☆14Mar 26, 2022Updated 3 years ago
- Personal Portfolio made with ☕+❤. Built with Next.js + TypeScript.☆12Dec 26, 2025Updated last month
- 基础库(typescript)☆10Apr 17, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆10May 20, 2021Updated 4 years ago
- A lightning-fast cross-platform image viewer written in Rust☆50Feb 3, 2026Updated last week
- My NixOS configuration☆47Nov 3, 2025Updated 3 months ago
- Repository for my dotfiles☆12Dec 3, 2025Updated 2 months ago
- This repository serves as a central hub for discovering tools and services focused on automated prompt engineering. Whether you're lookin…☆14Oct 11, 2024Updated last year
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆32Updated this week
- ☆10Oct 5, 2016Updated 9 years ago
- Eroge Music Quiz☆11Feb 6, 2026Updated last week
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 6 months ago
- BLAZINGLY typical, personal neovim config☆12Feb 3, 2026Updated last week
- My customize configuration for awesomeWM, mirror from Gitlab☆11Mar 10, 2023Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Jan 17, 2026Updated 3 weeks ago
- A slimmed down gentoo linux livecd/liveusb iso that allows to load different boot options and runs from RAM upon boot. A VCTLabs project.☆11Feb 18, 2020Updated 5 years ago
- ☆11May 24, 2023Updated 2 years ago
- My effort to keep myself on nixos while having a comfy and crazy workstation☆10Jul 8, 2024Updated last year
- NixOS Installer☆10Feb 28, 2023Updated 2 years ago
- Post jobs to a computing grid and store the results in a couch database local or remote☆15Mar 27, 2023Updated 2 years ago
- This is a minimal forum/qa web app.☆11Oct 10, 2025Updated 4 months ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- QQ ChatBot with ChatGPT api, implement in Rust☆11Jul 11, 2024Updated last year
- This is a high performance stub server.☆14Sep 3, 2024Updated last year
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- A CLI app for taking simple notes without ever leaving the terminal.☆12Jan 7, 2019Updated 7 years ago
- Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR☆12Oct 4, 2024Updated last year
- Rust crate for obfuscating string literals.☆12Feb 2, 2023Updated 3 years ago
- with opengl☆14Jul 18, 2021Updated 4 years ago
- ☆11Jul 4, 2022Updated 3 years ago
- Gives you a CLI menu with some common maintenance options inside an Arch Linux system☆10Feb 14, 2021Updated 4 years ago