unison
mirage
unison | mirage | |
---|---|---|
27 | 32 | |
3,740 | 2,433 | |
- | 0.4% | |
8.5 | 8.7 | |
5 days ago | 1 day ago | |
OCaml | OCaml | |
GNU General Public License v3.0 only | ISC License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
unison
-
Unison File Synchronizer
If you look at the release notes you can see that some versions say they are protocol compatible with prior X.Y version release
https://github.com/bcpierce00/unison/releases
-
Rclone syncs your files to cloud storage
You might want to try Unison: https://github.com/bcpierce00/unison
-
Ask HN: Best modern file transfer/synchronization protocol?
I highly recommend Unison (https://github.com/bcpierce00/unison)
It allows you to sync between 2 machines (bi-directional) over TCP or SSH.
Note that TCP way is not encrypted, you may use wireguard as transport layer encryption for that purpose...
You can use an external application to copy if file size is larger than an arbitrary number. (Eg: use rsync for files > 1gb)
-
Google Drive + Obsidian + Linux?
The iOS app only syncs via iCloud or Obsidian Sync. I was in a similar situation (wanted to sync to Linux PCs and iPhone without paying for Sync), but I do have one always on Mac, so I set up a script that runs every minute, syncing my vault on iCloud with an identical vault on Synology Drive. My script basically just runs Unison once every few minutes to keep the two vaults in sync.
-
how can i sync 2 folders? between 2 machines
Unison is another alternative. I use it to synchronize my music with a Samba share and an usb stick, works great.
- How can I run rsync for two directories when files in either directory changes with a CLI, and without an infinite loop?
-
Are there any CLIs or good ways on macOS to real-time / continuously sync two folders on the same drive?
Unison
- Is there a way to automatically sync files between Linux computers (like Dropbox), perhaps with something like rsync?
-
Darke Files is a version control and file synchronization system
I've tested many file synchronization. I rely via scripts on Unison, originally authored by the computer scientist Benjamin Pierce, and now decades of tweaking by a strong open source community.
https://github.com/bcpierce00/unison
I'd love to see Darke Files get everything right that Unison gets right, that nearly all commercial projects get wrong, through a blend of arrogance and ignorance:
* Meta data. It takes a lot to insure that two copies of a MacOS file appear identical to a user. There used to be a test suite on the web that embarrassed everybody.
* Atomic folders such as ".git" or an application bundle. A prototypical example is a MacOS disk image, supported by a folder of many small files. This helps minimize incremental backup and transfer. Unison lets you specify the conflict resolution at the folder level, all-or-nothing decide which copy or fix it.
* Symbolic links. This is wildly complicated by users, sure they're right, who want special handling to hack features into sync software that isn't there. A symbolic link is just a file, with correct use the responsibility of the user. You wouldn't want sync software stopping to view your porn, right? They're just files, not the sync software's business.
I use Dropbox for various purposes because I need to, but they bungle more of this than one would expect. For example, a typical MacOS application bundle can have internal symbolic links a typical user never notices, pointing the "current" version of resources to a versioned folder. Last I checked, Dropbox expands the symbolic link into a redundant copy, wasting space without kneecapping the app.
One could go on...
-
DIY triple-screen laptop based on the framework
I've been using Unison [1] to sync two and more computers for years. I can't recommend it enough.
[1]: https://github.com/bcpierce00/unison
mirage
-
Gokrazy – Go Appliances
Interesting, and thanks.
I didn't know about those. I kind of thought you may have used MirageOS, which I had read about earlier. It is done in OCaml.
https://mirage.io/
- Mirage – A programming framework for building type-safe, modular systems
-
What's Zig got that C, Rust and Go don't have? [video]
Unix system programming in OCaml (2014)
https://ocaml.github.io/ocamlunix/
"MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms."
https://mirage.io/
-
PostgreSQL reconsiders its process-based model
That was/is part of the promise of the whole unikernel thing, no?
https://mirage.io/ or similar could then let you boot your database. That said, it's not really taken off from what I can tell, so I'm guessing there's more to it than that.
-
Writing an OS in Rust to run on RISC-V
MirageOS is not Rust, but in the ballpark!
https://mirage.io/
-
Container runtime as a static binary?
OCaml MirageOS? https://mirage.io/
- OCaml 5.0 Multicore is out
- Ask HN: Operating Systems built with functional languages?
-
Is there an operating systems that is a runtime of a programming language?
MirageOS is a runtime for OCaml to create unikernels. They describe themselves as "library operating system". Probably not quite what you were asking for, but I think it's quite interesting for certain use cases (e.g. running services as standalone unikernels in VMs or embedded devices instead of "traditional" programs on top of a general purpose OS).
What are some alternatives?
imobiledevice-net - .NET (C#, VB.NET,...) bindings for libimobiledevice
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
usbmuxd2 - A socket daemon written in C++ to multiplex connections from and to iOS devices over USB and WIFI
oberon-riscv - Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluate Project Oberon on RISC-V.
libimobiledevice.org - Official Website of libimobiledevice
Carp - A statically typed lisp, without a GC, for real-time applications.
usbmuxd - A socket daemon to multiplex connections from and to iOS devices
linuxkit - A toolkit for building secure, portable and lean operating systems for containers
ios-webkit-debug-proxy - A DevTools proxy (Chrome Remote Debugging Protocol) for iOS devices (Safari Remote Web Inspector).
Mezzano - An operating system written in Common Lisp
ideviceunback - Decodes iPhone manifest and backup created by idevicebackup2
Lupine-Linux - Linux in Unikernel Clothing