☆29Nov 23, 2018Updated 7 years ago
Alternatives and similar repositories for gen-rpi_os
Users that are interested in gen-rpi_os are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- new version of uboot for Phicomm N1☆11Apr 29, 2023Updated 2 years ago
- Bootable live-USB of Gentoo Linux for the Excito B3 miniserver, with weekly-autobuild binhost (inc. kernel), profile 17.0☆14Sep 11, 2018Updated 7 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 6 years ago
- Linux kernel source tree☆18Apr 28, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- libtask extension for php☆21Dec 9, 2014Updated 11 years ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 11 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- OpenCore EFI for Dell Latitude 7390☆12Feb 13, 2022Updated 4 years ago
- Decentralized file transfer app using NKN client☆13Jul 5, 2020Updated 5 years ago
- Server-side 123Pan tool - Upload ML checkpoints without interrupting training, multi-threaded downloads☆20Dec 9, 2025Updated 4 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Aug 13, 2019Updated 6 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- Do-notation and Monads for JavaScript☆27Feb 23, 2022Updated 4 years ago
- Save a screenshot of the Windows desktop from command line (C API)☆10Aug 30, 2016Updated 9 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- A Powershell script for signing or adding signatures to tap-windows6 drivers☆10Apr 18, 2019Updated 6 years ago
- 将tinc的流量进行本地卸载，以达到分流VPN的作用☆10Jun 4, 2021Updated 4 years ago
- ☆12Jun 25, 2023Updated 2 years ago
- ASUS X550VC EFI Files of Hackintosh☆18Dec 25, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- Linux mainline kernel fork for various HiSilicon Hi3716 / Hi3796 / Hi3798 devices☆23Oct 25, 2025Updated 5 months ago
- `busybox` Docker image for multiple architectures☆12Jun 8, 2019Updated 6 years ago
- IronWASP module to test security of SSL services. Ported from http://www.bolet.org/TestSSLServer/☆12Sep 2, 2013Updated 12 years ago
- Run pkgcheck for ebuild repos via GitHub action.☆14Mar 24, 2026Updated 2 weeks ago
- Tmux plugin for pet snippet manager☆21Mar 19, 2023Updated 3 years ago
- build minimal armbian image for phicomm-n1☆14Jun 13, 2023Updated 2 years ago
- python_dht☆19Jan 20, 2015Updated 11 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A library for building cross-platform native desktop applications with TypeScript.☆14Sep 2, 2019Updated 6 years ago
- Extension for NAS4Free/XigmaNAS (N4F/XNAS) servers to display and install all known available Extensions/Add-Ons directly inside the WebG…☆14Jul 21, 2022Updated 3 years ago
- Python wrapper for remote-viewer, easy connection to SPICE-enabled VMs and CTs, running in Proxmox VE☆11Aug 2, 2021Updated 4 years ago
- my kind of generic armv7l 32bit linux mainline stable kernel build - used on bananapi m1, asus tinkerboard, tx1 allwinner h3 tv box, r39 …☆23Mar 8, 2026Updated last month
- OpenMediaVault plugin to help setup machine for development☆10Mar 21, 2026Updated 3 weeks ago
- shell scripts☆11Apr 27, 2021Updated 4 years ago
- ☆12Oct 15, 2023Updated 2 years ago