Stars
Lean certificates accompanying Navier-Stokes and Euler results
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
A self-hosted dashboard that puts all your feeds in one place
📚 Freely available programming books
Master programming by recreating your favorite technologies from scratch.
Hackathon app to financially incentivize people to use public transit and leave the car at home
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A service framework leveraging ports and adapters architecture to scale on your terms
Aria is Your AI Research Assistant Powered by GPT Large Language Models
Sioyek is a PDF viewer with a focus on textbooks and research papers
Part-DB is an Open source inventory management system for your electronic components
Mega Drive/Genesis core written in Verilog
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]