iyht's starred repositories
awesome-disaggregated-memory
A collection of awesome researchers and papers about disaggregated memory.
practical-fm
A gently curated list of companies using verification formal methods in industry
lazydocker
The lazier way to manage everything docker
distributed-consensus-reading-list
A list of papers about distributed consensus.
NewTab-Redirect
NewTab Redirect! is an extension for Google Chrome which allows the user to replace the page displayed when creating a new tab.
Stirling-PDF
#1 Locally hosted web application that allows you to perform various operations on PDF files
obsidian.nvim
Obsidian 🤝 Neovim
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.