Stars
Claude skills for Lean 4 theorem proving
Optimize Julia Functions With MLIR and XLA for High-Performance Execution on CPU, GPU, TPU and more.
Julia bindings for the Enzyme automatic differentiator
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Introduction to Machine Learning Systems
A process for automating Docker container base image updates.
Claude Code superpowers: core skills library
Build Real-Time Knowledge Graphs for AI Agents
Project management system for Claude Code using GitHub Issues and Git worktrees for parallel agent execution.
AKGR: Awesome Knowledge Graph Reasoning is a collection of knowledge graph reasoning works, including papers, codes and datasets
Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.
Telos is an open-sourced framework for creating Deep Context about things that matter to humans.
Run Tailscale on your Unifi Dream Machine
Global nix configuration for my desktop and laptops.
Python training for business analysts and traders
High-performance data engine for AI and multimodal workloads. Process images, audio, video, and structured data at any scale
A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.
A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups
Free, simple, fast interactive diagrams for any GitHub repository
📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…
Learn AI/ML for beginners with a roadmap and free resources.