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☆31Jul 13, 2025Updated 11 months ago
- The sources to compile Ravenports buildsheets☆22Jun 29, 2026Updated last week
- OPNsense fork of the original DragonFlyBSD installer☆13Jan 12, 2021Updated 5 years ago
- CI's and patches for https://gitlab.com/gnu-clisp/clisp☆10Jul 3, 2025Updated last year
- Universal package builder system☆79Jun 29, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- DragonFly BSD System Source Repository (read-only mirror)☆615Updated this week
- Front-end to FreeBSD's package manipulation tool☆15Dec 3, 2016Updated 9 years ago
- Remake of classic game Supaplex with improved graphics☆17Nov 21, 2020Updated 5 years ago
- Deterministic URL shortener for BSD manual pages, written in nginx.conf☆35Sep 23, 2020Updated 5 years ago
- FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)☆34Jun 17, 2026Updated 3 weeks ago
- LUKSUS☆40Jan 15, 2019Updated 7 years ago
- Android Open Accessory proxy to connect Android devices to Linux based systems☆14Dec 26, 2025Updated 6 months ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Nov 14, 2021Updated 4 years ago
- visual image cropping for plan9☆12Jun 3, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- a simple presentation tool☆13Jun 3, 2024Updated 2 years ago
- Apple Emojis (iOS 12) for Arch Linux☆22Jun 1, 2019Updated 7 years ago
- Plan 9 C compiler za/zc/zl supporting AVR32, including a small OS to run on a clone of the Berkeley mote, with some extra audio hardware☆14Jan 3, 2025Updated last year
- 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 3 years ago
- EFI signing helper☆12May 3, 2020Updated 6 years ago
- visual screenshotter for plan9☆11Feb 5, 2024Updated 2 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 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.
- ⚖️ This bundle provides a GDPR conform cookie information for symfony applications.☆11Feb 6, 2025Updated last year
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- ARCHIVED: Not actively updating to new versions of expat.☆12Mar 20, 2024Updated 2 years ago
- The dedicated application build system for DragonFly BSD☆96Mar 13, 2026Updated 3 months ago
- libsodium for Ada - A secure cryptographic library☆12Jul 18, 2016Updated 9 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
- ☆15Feb 24, 2024Updated 2 years ago
- ☆19Feb 17, 2018Updated 8 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.
- 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
- HBT+ subhalo finder and merger tree builder, the tool to get you out of mess and back to physics.☆25Apr 2, 2026Updated 3 months 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.☆19Jun 21, 2015Updated 11 years ago
- FreeBSD's congestion controller☆10Jul 19, 2018Updated 7 years ago
- Wiki For Camlunity☆13Feb 12, 2015Updated 11 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago