Lists (8)
Starred repositories
Adaptive Test-time Learning and Autonomous Specialization
My personal directory of skills, straight from my .claude directory.
Notes and material for Space Systems Engineering course
A toolkit for building secure, portable and lean operating systems for containers
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.…
Beads - A memory upgrade for your coding agent
📚 آموزش جامع پایتون از مبتدی تا پیشرفته + هوش مصنوعی | Complete Python Tutorial (Persian)
A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.
Simplified distributed block and file storage with strong consistency, like in Ceph (repository mirror)
Open source alternative to AWS. Elastic compute, block storage (non replicated), firewall and load balancer, managed Postgres, K8s, AI inference, and IAM services.
Repo for advice & stuff I've learned over the past few months running programs at Hack Club
9
Updated Jan 17, 2026
A SSH-tunneling, public-key pinning, TLS-terminating local HTTP proxy.
scripting language for linux kernel scheduler
🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production
Official inference framework for 1-bit LLMs
Tools for synching and streaming files from Windows to Linux
A markup-based typesetting system that is powerful and easy to learn.
A collection of (mostly) technical things every software developer should know about
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…
SWE-bench: Can Language Models Resolve Real-world Github Issues?