reagents
vpnkit
reagents | vpnkit | |
---|---|---|
2 | 4 | |
126 | 1,079 | |
-0.8% | 0.4% | |
4.4 | 0.6 | |
12 months ago | 16 days ago | |
OCaml | OCaml | |
ISC License | Apache License 2.0 |
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.
reagents
-
Transputer.net
The 1978 paper proposes a reasonable set of primitives and then walks through prose examples with them. The book proposes roughly the same primitives (channels are the big change, but stop is barely in the paper) and describes them in a formal notation for state machines. It's the difference between a sketch of a plausible idea and writing down the mathematics.
Related though much later, ocaml https://github.com/ocaml-multicore/reagents observed that the send/recv primitives make less sense than a swap primitive. Between occam and the current ocaml effort, concurrent ML is the same sort of model with the details really well thought through (e.g. a thread executing stop gets garbage collected).
-
OCaml 5.0 Multicore is out
Still early days, but I had done some exploratory work in the past on Reagents, a composable lock-free library [1]. Now that OCaml 5 is released, we're reviving this work.
It's semantics is weaker than STM -- unlike STM, it doesn't provide serializability but Reagents can compile down to multi-word compare and swap operations, which can be implemented with the help of hardware transactions (when present) or efficient software implementations of it [2]. Hence, Reagent programs should be faster than STM.
[1] https://github.com/ocaml-multicore/reagents
vpnkit
-
Locked out of Overseerr, Unable to authenticate
VPNKit Github issue
- OCaml 5.0 Multicore is out
- Chamelon: MVP persistent block storage for MirageOS
-
Docker for Mac Without Docker Desktop
Unfortunately this like other alternatives still misses some key features of Docker Desktop for Mac like utilizing VPNKit (https://github.com/moby/vpnkit) to make networking not constantly break when on a VPN without split tunneling, etc.
I've started using minikube myself as I stopped constantly needing to use Cisco AnyConnect for work as we switched to using a Zscaler product instead - but this is a huge bugbear for many users I'd like to see somebody address.
What are some alternatives?
rescript-webapi - ReScript bindings to the DOM and other Web APIs
nerdctl - contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...
multipass - Multipass orchestrates virtual Ubuntu instances
Docker Compose - Define and run multi-container applications with Docker
docker-machine-for-mac - Docker Machine for Mac - an alternative to Docker for Mac
colima - Container runtimes on macOS (and Linux) with minimal setup
rd - Container Management and Kubernetes on the Desktop
kind - Kubernetes IN Docker - local clusters for testing Kubernetes
machine - Machine management for a container-centric world
for-win - Bug reports for Docker Desktop for Windows
unison - Unison file synchronizer