☆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☆40Updated this week
- NixOS on Allwinner D1 RISC-V☆39Oct 21, 2022Updated 3 years ago
- ☆25Jan 22, 2025Updated last year
- Nix build Scheduler☆11Nov 24, 2025Updated 4 months ago
- NixOS on the HiFive Unmatched☆100Apr 9, 2023Updated 2 years ago
- NWI Engineering's use of Nix☆12Apr 17, 2023Updated 2 years ago
- A system for finding out which branches a GitHub pull request landed in☆19Updated this week
- Generate Nix Flakes imperatively.☆20Nov 28, 2023Updated 2 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- ☆89Aug 30, 2025Updated 6 months ago
- Manage project configuration and environment in side branches.☆10Jan 17, 2024Updated 2 years ago
- A Nix flake for many AI projects☆821Updated this week
- Configure packages like NixOS systems☆166Aug 1, 2023Updated 2 years ago
- 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…☆19Updated this week
- Network Camera with Raspberry Pi and WebRTC. Tutorial:☆12Aug 11, 2020Updated 5 years ago
- ☆10Mar 26, 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)☆44Jul 20, 2024Updated last year
- Expressions to change the world (just a tiny bit)☆32Mar 15, 2026Updated last week
- NixOS on Xilinx Zynq and ZynqMP☆49Feb 19, 2026Updated last month
- 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☆73Mar 18, 2024Updated 2 years ago
- Build minimal ACI containers using the Nix package manager☆16Jun 4, 2017Updated 8 years ago
- My NixOS configuration.☆20Mar 16, 2026Updated last week
- The framework for next generation data center.☆29Aug 24, 2025Updated 7 months ago
- NixOS expression for creating a simple router☆39Nov 3, 2021Updated 4 years ago
- A thorough specification and conformance suite for builtins.fetchTree and lock file items [maintainer=@roberth,@flokli,@lf-]☆16Oct 22, 2024Updated last year
- Configuration for my NixOS machines☆24Updated this week
- Haskell Sendgrid v3 API Library☆15May 2, 2024Updated last year
- the ever-shifting depths of the Underworld are not as once they were...☆17Mar 16, 2026Updated last week
- 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☆54Apr 30, 2024Updated last year
- Another NixOS Deployment Tool - Nixinate your systems 🕶️☆287Mar 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
- Functional Reactive Programming (FRP) with GObject Introspection in Haskell☆17Sep 14, 2021Updated 4 years ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year