Lists (12)
Starred repositories
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Treat TrueNAS as a native storage provider in Proxmox VE
Simple C++ wrapper for DisplayLink evdi. Add and manage virtual displays in Linux! Get dummy monitors without attaching physical dongles!
libusb / libusb-compat-0.1
Forked from hjelmn/libusb-compat-0.1Working tree for libusb-compat-0.1
A Simple cross-platform library for communicating with HID devices
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…
contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...
Lilipod is a simple container manager, able to download, unpack and use OCI images from various container registries.
Script used to update firmware on Protectli devices
Orange Pi build for H2+, H3, H5, H6, H616, RK3328, RK3399 and RK3588(s)
Access scientific literature in Zotero using standard template construct, an IPFS-backed website for nexus search.
Open-source technology for creating full-stack knowledge applications for communities of all types.
Wiki Education Foundation's Wikipedia course dashboard system
The definitive list of the best of (consumer facing) open source.
Cross-platform internet upload/download manager for HTTP(S), FTP(S), SSH, magnet-link, BitTorrent, m3u8, ed2k, and online videos. WebDAV client, FTP client, SSH client.
ddclient updates dynamic DNS entries for accounts on a wide range of dynamic DNS services.
Podman: A tool for managing OCI containers and pods.
The textbook Computational and Inferential Thinking: The Foundations of Data Science
rclone4pi - Easy Install of rclone to Raspberry Pi Computer with automated folder sync demo
gl-inet / openwrt
Forked from openwrt/openwrtThis repository is fork from openwrt official repo, we will update the latest tag and release GL.iNet firmware based on it.