☆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 3 years ago
- Homemade script similar to update periodically your OVH DNS via DynHost☆17Apr 23, 2018Updated 8 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- A linter for logr,klog,zap that can also works with golangci-lint as a plugin☆17Apr 10, 2025Updated last year
- Source code of generator of my (new) blog☆12Nov 10, 2024Updated last year
- 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.
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 6 years ago
- Linux kernel source tree☆18Apr 28, 2024Updated 2 years ago
- HPC Game Platform☆11Apr 20, 2023Updated 3 years ago
- ☆611Dec 29, 2018Updated 7 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 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
- Desktop Telegram client with good customization and Ghost mode.☆13Sep 23, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- CLP(SMT) on top of miniKanren☆40Feb 26, 2022Updated 4 years ago
- Secure IP tunnel☆10May 25, 2014Updated 12 years ago
- OpenCore EFI for Dell Latitude 7390☆13Feb 13, 2022Updated 4 years ago
- ☆10Aug 13, 2019Updated 6 years ago
- 自己用的deepin系统初始化脚本☆16Jan 25, 2024Updated 2 years ago
- Server-side 123Pan tool - Upload ML checkpoints without interrupting training, multi-threaded downloads☆22Apr 25, 2026Updated last month
- 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
- ☆13Mar 17, 2012Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- usbip daemon ported on top of libusb, no kernel drivers required☆17Oct 22, 2019Updated 6 years ago
- Google AR (增强现实) 平台 ArCore 实践（极乐净土舞蹈）☆14May 30, 2018Updated 8 years ago
- Docker setup for building ARM64 Ubuntu images for the Raspberry Pi 4B☆32Sep 29, 2021Updated 4 years ago
- IronWASP module to test security of SSL services. Ported from http://www.bolet.org/TestSSLServer/☆12Sep 2, 2013Updated 12 years ago
- A convenient LD_PRELOAD hooker☆14Feb 26, 2022Updated 4 years ago
- build minimal armbian image for phicomm-n1☆14Jun 13, 2023Updated 3 years ago
- Dynamic and extensible shell code generator with multiple output types which can be formatted in binary, hexadecimal, and the typical she…☆19May 1, 2020Updated 6 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- Linux mainline kernel fork for various HiSilicon Hi3716 / Hi3796 / Hi3798 devices☆25Oct 25, 2025Updated 7 months 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.
- 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…☆15Jul 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 …☆23Updated this week
- Easy build environment to develop plugins for Remmina☆11Jun 2, 2025Updated last year
- ☆86May 17, 2019Updated 7 years ago
- Source for lemon-model.net☆14Jan 27, 2022Updated 4 years ago