Starred repositories
A project-local library installer for Common Lisp
High performance self-hosted photo and video management solution.
A docker-compose like tool for Apple Containers
Connect home devices into a powerful cluster to accelerate LLM inference. More devices means faster inference.
go-test-coverage is a tool designed to report issues when test coverage falls below a specified threshold
the blog "Machine Logic"
Pages for the dlang.org website, home of the D Programming Language
NixOS for Android Terminal (Android Virtualization Framework) [maintainers=@mkg20001]
A collection of formalized statements of conjectures in Lean.
Source material for Algebra-Driven Design
📖 source material for Thinking with Types
CRA-style tool for creating new gpui apps
🪐 Markdown with superpowers — from ideas to presentations, articles and books.
A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
The BusTub Relational Database Management System (Educational)
Resources for uBlock Origin, uMatrix: static filter lists, ready-to-use rulesets, etc.
ParvaOS is an Operating System created completely in Rust 🦀