Dev tools · September 28, 2022
A formally verified native Delta Lake implementation in Rust
Does the same job
all alternatives →- RLRisp – Lisp in Rust2019 · m.stopa.io · ▲314
- SASauron – A web framework in Rust that adheres to the Elm architecture2019 · github.com · ▲305
- VQVas-quod – A minimal Linux container runtime written in Rust2020 · github.com · ▲110
- RSRust-starter, a boilerplate to build Rust CLI applications2021 · github.com · ▲97
- HAHydrogen, a multithread non-blocking Linux server framework in Rust2016 · github.com · ▲154
- EAEole, a Lévy-optimal lambda calculus evaluator written in Rust2019 · github.com · ▲106
More dev tools this month
the category →
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com
Launched alongside, September 2022
the whole month →- IM
Life & fun · 2022 · dogbunnypuzzle.com
- IM
A couple of years ago, I had an interesting idea. What if there was a marketplace where all the underlying tech was open-source? The order management system, the storefront, customer support, etc. The marketplace would simply connect to the seller’s infra instead of locking them in. If, for some reason, the seller is removed from the marketplace, their software stays with them and they can continue accepting orders directly. This model can be used to disrupt any marketplace from AirBNB to UberEats: building tech for home renters and restaurants and later, leveraging that to build a competing…
Dev tools · 2022 · openship.org
