☆27Sep 30, 2025Updated 7 months ago
Alternatives and similar repositories for Tools
Users that are interested in Tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Port of the xv6 OS to the VisionFive 2 RISC V board☆25Mar 26, 2023Updated 3 years ago
- ☆25Apr 3, 2024Updated 2 years ago
- ☆12May 15, 2022Updated 3 years ago
- ☆165Oct 28, 2025Updated 6 months ago
- Simple little script to search for packages from a OpenBSD package repository☆13Mar 21, 2026Updated last month
- 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.
- ☆536Oct 28, 2025Updated 6 months ago
- ☆20Oct 13, 2025Updated 6 months ago
- [No longer active] A fork of OpenSBI, with software-emulated hypervisor extension support☆43Aug 15, 2025Updated 8 months ago
- ☆62Jul 31, 2021Updated 4 years ago
- Rust library to interface with the RISC-V Supervisor Binary Interface☆15Apr 17, 2025Updated last year
- Documents for quick reference☆12Jan 5, 2023Updated 3 years ago
- Code injection from Linux kernel to a process☆24May 19, 2023Updated 2 years ago
- A subtitle rendering library☆20Updated this week
- Unofficial OpenBSD regression tests☆21Mar 24, 2021Updated 5 years 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.
- The curl.dev website☆20Feb 20, 2025Updated last year
- Similar to *script* without replay but with a mechanism to inject keytrokes in the slave's keyboard queue☆17Aug 1, 2021Updated 4 years ago
- minimal diffusion transformer in pytorch.☆17Oct 6, 2024Updated last year
- Solaris/PPC☆22Jun 25, 2014Updated 11 years ago
- Library to manage a PS2 mouse☆13Aug 30, 2021Updated 4 years ago
- A curated list of cryptography resources and links.☆20Jun 8, 2021Updated 4 years ago
- This tool allows to dump Lib-PSP iplloader's loader segment (or full binary on 0.4 and 0.6) using kbooti/bootdispi files as input☆11Jan 12, 2024Updated 2 years ago
- Linux FCP (Focusrite Control Protocol) Support Tools☆32Mar 5, 2026Updated last month
- ☆26Apr 24, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Delve container for Kubernetes use☆11Apr 15, 2026Updated 2 weeks ago
- A collection of utility scripts to manage images☆12Mar 31, 2026Updated 3 weeks ago
- Salt formula for bootstrapping an HA cluster☆11Aug 16, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A 64-bit bootloader for RISC-V☆16Nov 27, 2023Updated 2 years ago
- Homebrew Sega Dreamcast 3D Game "In The Line Of Fire"☆18Aug 30, 2020Updated 5 years ago
- ☆12Nov 25, 2022Updated 3 years ago
- Graphical tool to aid in the analysis of Programmable Array Logic (PAL) devices.☆11Mar 16, 2024Updated 2 years ago
- ☆11Aug 7, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Metamath logic game☆10Apr 21, 2026Updated last week
- Amlogic G12A Mali support for Mali Bifrost based SoCs, for Mainline Linux only☆11Jan 28, 2023Updated 3 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 23, 2026Updated last month
- ☆11Oct 31, 2021Updated 4 years ago
- ☆14May 15, 2022Updated 3 years ago
- osFree Janus: Open-Source Windows 3.0 Clone☆37Apr 16, 2026Updated last week
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago