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
- 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!☆20Jan 13, 2026Updated last month
- Basic React-Webpack4 boilerplate with classic file structure for React/Redux application .☆11Dec 29, 2022Updated 3 years ago
- A robot that copies the current site and searches for all hyperlinks and follows them.☆11Jan 11, 2024Updated 2 years ago
- Personal Portfolio made with ☕+❤. Built with Next.js + TypeScript.☆12Dec 26, 2025Updated 2 months ago
- 【Join our constellation of stargazers!⭐️】An interactive AI-powered story generator that creates dynamic narratives through collaborative …☆12Jul 9, 2025Updated 7 months ago
- Tool for advanced mining for content on Github☆28Nov 11, 2025Updated 3 months ago
- 锦书 [WIP]☆14Mar 26, 2022Updated 3 years ago
- ☆10May 20, 2021Updated 4 years ago
- ctOS: The central operating system☆12Jan 18, 2026Updated last month
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A lightning-fast cross-platform image viewer written in Rust☆49Feb 26, 2026Updated last week
- Rust crate for obfuscating string literals.☆12Feb 2, 2023Updated 3 years ago
- Repository for my dotfiles☆12Dec 3, 2025Updated 3 months 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 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
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A curated list of tools to help you make the best color palettes☆11Apr 14, 2024Updated last year
- My effort to keep myself on nixos while having a comfy and crazy workstation☆10Jul 8, 2024Updated last year
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- 🌈 Simple portfolio website inspired by neubrutalism design☆13Feb 15, 2023Updated 3 years 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 6 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- Eroge Music Quiz☆11Updated this week
- An open source tool for cleaning email boxes and saving the planet☆10Apr 1, 2022Updated 3 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- 😎 Easily Create your own NPM Card.☆10Jan 8, 2023Updated 3 years ago
- AI Powered Writing Tool☆11Mar 7, 2024Updated last year
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- Graphics filters for awesome - blurring, shadows and more☆10Jul 29, 2023Updated 2 years ago
- Learning Rust by creating 50 small projects☆17Jul 13, 2022Updated 3 years ago
- ☆10Oct 5, 2016Updated 9 years ago
- NixOS Installer☆10Feb 28, 2023Updated 3 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.☆10May 28, 2023Updated 2 years ago
- Framework to write Wayland compositors with Qt☆12Apr 5, 2024Updated last year