Stars
Hard Drive S.M.A.R.T Monitoring, Historical Trends & Real World Failure Thresholds
Next-gen compile-time-checked builder generator, named function's arguments, and more!
A Web browser with an emphasis on local-first data storage
Lean 4 programming language and theorem prover
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
A reimplementation of the minecraft server in rust.
Empowering everyone to host fast and efficient Minecraft servers.
A Rust framework for building Minecraft servers.
Cross-platform Rust rewrite of the GNU coreutils
A terminal workspace with batteries included
A tiling window manager for macOS based on binary space partitioning
Visualize Your Ideas With Code
A lightning-fast search API that fits effortlessly into your apps, websites, and workflow
Swing Music is a beautiful, self-hosted music player for your local audio files. Like a cooler Spotify ... but bring your own music.
Penpot: The open-source design tool for design and code collaboration
Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches t…