My experimental NixOS configuration for VisionFive 2
☆14Feb 17, 2024Updated 2 years ago
Alternatives and similar repositories for nixos-vf2
Users that are interested in nixos-vf2 are comparing it to the libraries listed below
Sorting:
- Experimental flexible GUI framework☆14May 14, 2023Updated 2 years ago
- ☆44Feb 17, 2023Updated 3 years ago
- My University notes [Computer Science @UniMiB]☆10Sep 18, 2023Updated 2 years ago
- Diffusion Probabilistic Model in Jax☆12Apr 20, 2024Updated last year
- today - command line day planner☆11Mar 11, 2025Updated 11 months ago
- A web client for Irssi☆10Dec 12, 2017Updated 8 years ago
- 📝 An opinionated, zettelkasten-inspired note creation and linking tool.☆14Apr 1, 2023Updated 2 years ago
- NixOS on Allwinner D1 RISC-V☆39Oct 21, 2022Updated 3 years ago
- A voice keyer for ham radio using arduino. The blog writeup including schematic is listed in the readme☆14Jan 22, 2023Updated 3 years ago
- A simple JIT library in Rust☆19Dec 7, 2014Updated 11 years ago
- A demo of using ZLS as a library!☆12Aug 22, 2023Updated 2 years ago
- Easy opaque typedef for Rust programming language.☆12Aug 22, 2019Updated 6 years ago
- Rust bindings for OpenBSD's unveil(2)☆12Nov 5, 2022Updated 3 years ago
- Javascript implementation of the Reticulum Network Stack☆18Feb 10, 2025Updated last year
- ☆10Dec 25, 2024Updated last year
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago
- Amlapiwr Python C ar gyfer hwyluso rhaglennu gyda Festival | A Python C wrapper for simple coding with Festival☆10Jul 31, 2022Updated 3 years ago
- Native, verification-only PHP implementation of OpenBSD Signify verification☆11Mar 2, 2020Updated 6 years ago
- Create a Git repo from your Google Doc revision history☆14Jun 5, 2023Updated 2 years ago
- simple neural network designed for inlineable code optimizations☆11Aug 28, 2023Updated 2 years ago
- Simple little script to search for packages from a OpenBSD package repository☆13Oct 22, 2025Updated 4 months ago
- A memory manager for Raspberry Pi☆12Jun 3, 2025Updated 9 months ago
- Utils to manage DWARF information in mutating wasm files☆10Feb 3, 2020Updated 6 years ago
- ☆15Jan 3, 2024Updated 2 years ago
- ☆18Feb 15, 2026Updated 3 weeks ago
- Unlambda interpreter☆11Jul 9, 2024Updated last year
- repository for the fion window manager☆10Oct 10, 2025Updated 4 months ago
- implementation of nftables for NixOS☆12Nov 17, 2019Updated 6 years ago
- Possibly the most obscure piece of Nix magic yet☆13Jan 30, 2023Updated 3 years ago
- Playwright enables reliable end-to-end testing for modern web apps☆11Feb 19, 2026Updated 2 weeks ago
- Lua library that binds to OpenBSD specific functions☆15Jun 16, 2023Updated 2 years ago
- M.2 NVMe SSD adapter for PC Engines APU2 boards☆13Jun 12, 2022Updated 3 years ago
- Convert github issues and prs into rss feed☆16Sep 8, 2024Updated last year
- Find keywords in pptx files.☆11Feb 21, 2019Updated 7 years ago
- A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad☆14Jan 15, 2024Updated 2 years ago
- Python TCP server for terminal rickrolls☆13Nov 23, 2021Updated 4 years ago
- A demonstration of the absolute minimum needed to get an engine started.☆12Aug 20, 2018Updated 7 years ago
- Stand-alone build for sigchat, a Xous app☆15Jul 18, 2024Updated last year
- ☆15Jan 8, 2024Updated 2 years ago