logical_verification_2020
unison
Our great sponsors
logical_verification_2020 | unison | |
---|---|---|
3 | 27 | |
97 | 3,676 | |
- | - | |
0.0 | 8.5 | |
over 3 years ago | 4 days ago | |
Lean | OCaml | |
- | GNU General Public License v3.0 only |
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.
logical_verification_2020
-
Show HN: Luna is a Clojure Domain specific language that translates to regex
https://github.com/blanchette/logical_verification_2020/raw/...
Benjamin Pierce: Backtracking Generators for Random Testing
-
Types and Programming Languages (2002)
A recent book in the same vein: The Hitchhiker's Guide to Logical Verification
https://github.com/blanchette/logical_verification_2020
This is a tipping point work making the case that type theory is like a musician reading sheet music. Sure, the Beatles couldn't, but... Anyone developing a new programming language should understand languages at the level of Lean, even if the common uses of their constructs aren't theorem proving. The analogies are mind-blowing. Monadic parsing is the same thing as meta-programming tactics? I'm still wrapping my head arond that one.
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
-
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)
-
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?
-
LastPass breach gets worse – reddit.com/r/sysadmin
Have a look at unison, it's what I use instead of Syncthing and I couldn't be more happy.
https://github.com/bcpierce00/unison
edit: Also, KeepassXC!
- OCaml 5.0 Multicore is out
- The various scripts I use to back up my home computers using SSH and rsync
-
Unison file sync - Umarshal - version-independent serialization format
Good question. I will copy over some docs from the Umarshal module to hopefully shed some light, but first to set the context:
What are some alternatives?
usbmuxd2 - A socket daemon written in C++ to multiplex connections from and to iOS devices over USB and WIFI
imobiledevice-net - .NET (C#, VB.NET,...) bindings for libimobiledevice
libimobiledevice.org - Official Website of libimobiledevice
usbmuxd - A socket daemon to multiplex connections from and to iOS devices
ideviceunback - Decodes iPhone manifest and backup created by idevicebackup2
ios-webkit-debug-proxy - A DevTools proxy (Chrome Remote Debugging Protocol) for iOS devices (Safari Remote Web Inspector).
re-ext - Sometimes you want to compose regexs.
regal - Royally reified regular expressions
libimobiledevice - A cross-platform protocol library to communicate with iOS devices
ocaml-jupyter - An OCaml kernel for Jupyter (IPython) notebook
rescript-webapi - ReScript bindings to the DOM and other Web APIs
luna - A DSL that translates to regex