Lists (21)
Applications
Full blown applications that I use or am keeping an eye on.Beg, Borrow & Steal
Things I want to look at not to use but to take inspiration from for something I'm building.ChindΕgu
Damn Cool
I don't even.Documentation
Stuff related to writing good docs.Flavor-of-the-Month Ops
Tools for managing infrastructure.Frontend
Because I probably should know how to vertically center a divGaming
In case I develop an unhealthy game development habit.Homage
Stuff I use so often that starring them is almost unnecessary.Introspection
Performance & DebuggingLearning
Things to Learn AboutMath
Because I used to have a math habit and wish I had one again.ML
Machine learning related stuff.Music
Because I've already developed a healthy music habit.References
Repositories with interesting information to glance at or use as a reference.Security
Tools for security related usesSelf-Hosting
Because my hat is solidly tinned.Tabled
Stuff I looked at & decided not to use yet, but may revisit laterTesting
Is this thing on? We tried to make sure it was.To Look At
Things I intend to integrate into my workflow or tooling at some point.Tooling
Tools I use, wished I use, or may be useful at some point.Stars
π Community guides for open source creators
A project to map out the relations between different equational theories of Magmas.
Lean 4 library for pretty printing expressions as LaTeX
Codespaces but open-source, client-only and unopinionated: Works with any IDE and lets you use any cloud, kubernetes or just localhost docker.
The action attempts to update Lean and Mathlib. If an update is available then the updated version is tested. This allows for automatic committing of the updated project, opening PRs or opening issβ¦
The zero configuration build tool for the web. π¦π
Not UFO in the sky, but an ultra fold in Neovim.
Neovim plugin introducing a new operators motions to quickly replace and exchange text.
Grafana Tempo is a high volume, minimal dependency distributed tracing backend.
A fully open source & end-to-end encrypted note taking alternative to Evernote.
Self-hosted alternative to Google Location History (Google Maps Timeline)
A minimal and blazing fast indentline plugin
An introduction to theorem proving in Lean for the impatient.
The open source, local-first Webflow alternative. Design directly in your live React site and publish your changes to code.
GitHub Action for continuous benchmarking to keep performance
Amazon EC2 instance comparison site
An interactive and powerful Git interface for Neovim, inspired by Magit
Treesitter based structural search and replace plugin for Neovim.
A Material Design Weather Application