Update DragonFly BSD using a release/snapshot image
☆18Dec 27, 2020Updated 5 years ago
Alternatives and similar repositories for dfly-update
Users that are interested in dfly-update are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Filesystem mirroring utility from DragonFly BSD☆25Jul 13, 2025Updated 9 months ago
- The sources to compile Ravenports buildsheets☆21Updated this week
- OPNsense fork of the original DragonFlyBSD installer☆13Jan 12, 2021Updated 5 years ago
- Universal package builder system☆78Mar 31, 2026Updated 2 weeks ago
- DragonFly BSD System Source Repository (read-only mirror)☆601Updated this week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Front-end to FreeBSD's package manipulation tool☆15Dec 3, 2016Updated 9 years ago
- Remake of classic game Supaplex with improved graphics☆18Nov 21, 2020Updated 5 years ago
- Deterministic URL shortener for BSD manual pages, written in nginx.conf☆34Sep 23, 2020Updated 5 years ago
- DEPRECATED Tool to automatically scan for and configure wireless networks on OpenBSD☆11Oct 31, 2018Updated 7 years ago
- LUKSUS☆40Jan 15, 2019Updated 7 years ago
- Dis interpreter by Rob Pike☆13Sep 3, 2020Updated 5 years ago
- Android Open Accessory proxy to connect Android devices to Linux based systems☆14Dec 26, 2025Updated 3 months ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Nov 14, 2021Updated 4 years ago
- A configuration tool for virtual domain email for Postfix and Dovecot☆16May 15, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- visual image cropping for plan9☆12Jun 3, 2024Updated last year
- a simple presentation tool☆13Jun 3, 2024Updated last year
- Multics (Multiplexed Information and Computing Service) was a mainframe time sharing operating system begun in 1965☆15Sep 10, 2024Updated last year
- ☆12Dec 27, 2017Updated 8 years ago
- BitSparrow in Rust☆12Feb 24, 2017Updated 9 years ago
- A collection of useful procedures divided into modules for Racket.☆12Oct 20, 2023Updated 2 years ago
- Creatures Evolution☆12Feb 24, 2023Updated 3 years ago
- ☆16May 1, 2023Updated 2 years ago
- visual screenshotter for plan9☆11Feb 5, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- PGPCrack-NG is a program designed to brute-force symmetrically encrypted PGP files. It is a replacment for the long dead PGPCrack.☆24Oct 30, 2017Updated 8 years ago
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- RES in JavaScript☆14Sep 18, 2019Updated 6 years ago
- The dedicated application build system for DragonFly BSD☆94Mar 13, 2026Updated last month
- The repo of rust crate 'releasetag'. Releasetags can be extracted from application crash-files postmortem☆13May 1, 2019Updated 6 years ago
- Pghostile is a tool to automate the exploitation of PostgreSQL® specific vulnerabilities that could lead to privilege escalation. It can …☆11Aug 17, 2023Updated 2 years ago
- ☆13Feb 24, 2023Updated 3 years ago
- Topological sort algorithm☆14Apr 6, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15Feb 24, 2024Updated 2 years ago
- ☆19Feb 17, 2018Updated 8 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- Video4Linux GNU Radio plugin☆21Jan 24, 2014Updated 12 years ago
- ☆24May 14, 2025Updated 11 months ago