NixOS config using flakes
☆18Mar 4, 2026Updated 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 20, 2026Updated 2 weeks ago
- A Nix flake to install Discord with Powercord☆13Sep 30, 2022Updated 3 years ago
- A GitHub action to automatically update nix flake dependencies☆19Dec 10, 2025Updated 2 months ago
- A Wayland compositor based on libweston and providing most of Wayland Wall protocols☆24Jan 11, 2022Updated 4 years ago
- just another blog, but built with rust☆18Mar 31, 2024Updated last year
- The framework for rapid development of Telegram bots with a clean and pragmatic design.☆10Updated this week
- Thank you LenAnderson I am yoinking this!☆21Jan 13, 2026Updated last month
- Tool for advanced mining for content on Github☆28Nov 11, 2025Updated 3 months ago
- Personal Portfolio made with ☕+❤. Built with Next.js + TypeScript.☆12Dec 26, 2025Updated 2 months ago
- ctOS: The central operating system☆12Jan 18, 2026Updated last month
- 基础库(typescript)☆10Apr 17, 2023Updated 2 years ago
- 锦书 [WIP]☆14Mar 26, 2022Updated 3 years ago
- 【Join our constellation of stargazers!⭐️】An interactive AI-powered story generator that creates dynamic narratives through collaborative …☆12Jul 9, 2025Updated 7 months ago
- ☆10May 20, 2021Updated 4 years ago
- Basic React-Webpack4 boilerplate with classic file structure for React/Redux application .☆11Dec 29, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A robot that copies the current site and searches for all hyperlinks and follows them.☆11Jan 11, 2024Updated 2 years ago
- A lightning-fast cross-platform image viewer written in Rust☆49Feb 26, 2026Updated last week
- My NixOS configuration☆47Nov 3, 2025Updated 4 months ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Updated this week
- Eroge Music Quiz☆11Updated this week
- My effort to keep myself on nixos while having a comfy and crazy workstation☆10Jul 8, 2024Updated last year
- OpenCode plugin that automatically loads direnv environment variables at session start☆28Dec 11, 2025Updated 2 months ago
- ☆10Feb 1, 2022Updated 4 years ago
- ☆10Oct 5, 2016Updated 9 years ago
- 😎 Easily Create your own NPM Card.☆10Jan 8, 2023Updated 3 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- QQ ChatBot with ChatGPT api, implement in Rust☆11Jul 11, 2024Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A CLI app for taking simple notes without ever leaving the terminal.☆12Jan 7, 2019Updated 7 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- BLAZINGLY typical, personal neovim config☆12Feb 23, 2026Updated last week
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- NixOS Installer☆10Feb 28, 2023Updated 3 years ago
- Framework to write Wayland compositors with Qt☆12Apr 5, 2024Updated last year
- Post jobs to a computing grid and store the results in a couch database local or remote☆15Mar 27, 2023Updated 2 years ago
- Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR☆12Oct 4, 2024Updated last year
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago