☆22Nov 29, 2020Updated 5 years ago
Alternatives and similar repositories for flake-example
Users that are interested in flake-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NixOS configs☆11Oct 26, 2020Updated 6 years ago
- Agda formalisation of FOTC (First-Order Theory of Combinators).☆13Aug 25, 2026Updated 2 months ago
- Templates for getting started with Nix: home-manager, Rust projects, Python projects, C++ projects, etc.☆14Sep 29, 2026Updated last month
- (Finite) multisets in Cubical Agda☆11Apr 22, 2026Updated 6 months ago
- Proxy for Nix Caching☆62Jun 28, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Nix UX improvements☆39Oct 15, 2020Updated 6 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image☆32Sep 15, 2020Updated 6 years ago
- ☆10Apr 6, 2017Updated 9 years ago
- A multi-version Sphinx building tool based on containers☆13Feb 20, 2026Updated 8 months ago
- A place to host Nix unstable releases [unmaintained]☆103Nov 24, 2025Updated 11 months ago
- A concurrent async test framework using Python's asyncio☆21Sep 1, 2026Updated 2 months ago
- Compresso: Efficient Compression of Segmentation Data For Connectomics☆14Sep 7, 2021Updated 5 years ago
- Deployment of the https://flake.parts website☆18Oct 16, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Magic editing of LaTeX tables in GNU Emacs☆30Oct 7, 2026Updated 3 weeks ago
- A Nix builder function for packaging Gradle applications.☆55Oct 25, 2026Updated last week
- Nix URI libs and utils☆15Aug 10, 2024Updated 2 years ago
- ☆13Feb 27, 2024Updated 2 years ago
- A simple module for enabling Hydra☆14May 25, 2020Updated 6 years ago
- ELF prelinking utility to speed up dynamic linking [unofficial mirror]☆11Jan 27, 2018Updated 8 years ago
- Patches for the Korg ms-20 synthesizer☆10Nov 18, 2013Updated 12 years ago
- When an audio message is received, the bot downloads the audio file, converts it to a numpy array, loads the Whisper model, transcribes t…☆14Feb 9, 2023Updated 3 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Apr 25, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A free Doxygen theme that is easy on the eyes☆13Feb 7, 2021Updated 5 years ago
- eliza's entire computer: the git repo☆28Updated this week
- Organize JavaScript packages with the Nix package manager☆14Dec 31, 2023Updated 2 years ago
- Structure-Aware Image Segmentation with Homotopy Warping☆14Sep 19, 2023Updated 3 years ago
- Derivations for easily downloading Dhall binaries and putting them to use.☆25Aug 3, 2025Updated last year
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 5 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 3 years ago
- Extract 1-stable manifold from scalar functions on simplicial complex☆11Nov 13, 2018Updated 7 years ago
- Repository for the CppCon 2015 Tuning C++ talk.☆13Nov 19, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Empowered Nix/Guix without root☆16Dec 3, 2018Updated 7 years ago
- ☆31Sep 9, 2014Updated 12 years ago
- Updated launcher for 1.6☆11Sep 6, 2019Updated 7 years ago
- A Telegram Bot to assist PvP groups for Pokemon Go☆10Feb 9, 2024Updated 2 years ago
- VU Dials Server Application☆37Oct 24, 2026Updated last week
- NixCon 2020 talk about Nix flakes☆18Oct 15, 2020Updated 6 years ago
- My IDE☆14Nov 5, 2021Updated 4 years ago