Lists (1)
Stars
Helping developers to use AWS Graviton2, Graviton3, and Graviton4 processors which power the 6th, 7th, and 8th generation of Amazon EC2 instances (C6g[d], M6g[d], R6g[d], T4g, X2gd, C6gn, I4g, Im4g…
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
A curated collection of technical papers on producing credible, privacy-preserving evidence about how AI computing infrastructure is used.
Templates that are directly maintained by the Typst team.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
A markup-based typesetting system that is powerful and easy to learn.
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
Curated collection of startup resources, tools, finance guides, and AI/LLM insights for founders.
Curated list of resources to start and grow your startup
AI agent skills for high-velocity startup founders
A curated and opinionated list of resources for startup founders and leaders of high-growth companies
Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization, and programmability.
Resources for learning Category Theory for an enthusiast
A curated list of software and architecture related design patterns.
A catalogue of Rust design patterns, anti-patterns and idioms
A deep dive into embeddings starting from fundamentals
The Nexus zkVM: The zero-knowledge virtual machine
MIT IAP short course: Matrix Calculus for Machine Learning and Beyond
EasyCrypt: Computer-Aided Cryptographic Proofs