☆44Feb 17, 2023Updated 3 years ago
Alternatives and similar repositories for visionfive-nix
Users that are interested in visionfive-nix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My experimental NixOS configuration for VisionFive 2☆14Feb 17, 2024Updated 2 years ago
- Update flake.lock with the latest commit of a local checkout☆40May 16, 2026Updated last week
- NixOS on Allwinner D1 RISC-V☆39Oct 21, 2022Updated 3 years ago
- ☆25Jan 22, 2025Updated last year
- Nix build Scheduler☆11Nov 24, 2025Updated 6 months 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.
- NixOS on the HiFive Unmatched☆101Apr 9, 2023Updated 3 years ago
- NWI Engineering's use of Nix☆12Apr 17, 2023Updated 3 years ago
- A system for finding out which branches a GitHub pull request landed in☆19May 17, 2026Updated last week
- Generate Nix Flakes imperatively.☆21Nov 28, 2023Updated 2 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated last month
- ☆91Aug 30, 2025Updated 8 months ago
- Manage project configuration and environment in side branches.☆10Jan 17, 2024Updated 2 years ago
- A Nix flake for many AI projects☆828Updated this week
- Configure packages like NixOS systems☆166Aug 1, 2023Updated 2 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.
- Where we learn together about MY₿ONK's NixOS automagic.☆15Updated this week
- TVIX services backed by NATS☆22Oct 25, 2023Updated 2 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆20Updated this week
- ☆10Mar 26, 2024Updated 2 years ago
- Show off the capabilities of Nix to friend or foe☆14Oct 30, 2024Updated last year
- A collection of convenient commands for working with nix/nixpkgs☆12Aug 25, 2017Updated 8 years ago
- NixOS Running on LicheePi 4A(RISC-V)☆46Apr 28, 2026Updated 3 weeks ago
- Expressions to change the world (just a tiny bit)☆32May 16, 2026Updated last week
- NixOS on Xilinx Zynq and ZynqMP☆53May 9, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nested client-side routing for Reflex-DOM☆11Jun 7, 2022Updated 3 years ago
- Demo of using systemd stage 1 to unlock drives with a TPM and Tailscale☆76Mar 18, 2024Updated 2 years ago
- My NixOS configuration.☆19Apr 26, 2026Updated 3 weeks ago
- The framework for next generation data center.☆30Aug 24, 2025Updated 9 months ago
- A thorough specification and conformance suite for builtins.fetchTree and lock file items [maintainer=@roberth,@flokli,@lf-]☆16Oct 22, 2024Updated last year
- NixOS expression for creating a simple router☆39Nov 3, 2021Updated 4 years ago
- Configuration for my NixOS machines☆24Updated this week
- Haskell Sendgrid v3 API Library☆15May 5, 2026Updated 2 weeks ago
- the ever-shifting depths of the Underworld are not as once they were...☆17May 7, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Port of Visual Studio Code theme Horizon to Emacs.☆22Jul 20, 2020Updated 5 years ago
- A collection of all the content from NixCon Paris 2022 and beyond☆53Apr 30, 2024Updated 2 years ago
- Another NixOS Deployment Tool - Nixinate your systems 🕶️☆290Mar 23, 2025Updated last year
- Pandoc filter for D2☆22Sep 3, 2024Updated last year
- Intero Haskell IDE with Nix instead of Stack☆15Jan 3, 2018Updated 8 years ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- Functional Reactive Programming (FRP) with GObject Introspection in Haskell☆17Sep 14, 2021Updated 4 years ago