Lists (21)
Starred repositories
Spec-driven development for AI coding assistants.
In-browser literate notebooks
The tool I used to write my book, Effective Python.
This is a python API which allows you to get the transcript/subtitles for a given YouTube video. It also works for automatically generated subtitles and it does not require an API key nor a headles…
An open Apple AirDrop implementation written in Python
An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git
ATS and Human-friendly Resume Writer in Markdown.
An in-browser, local-first Markdown resume builder.
A calm, CLI-native way to semantically grep everything, like code, images, pdfs and more.
Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.
serverless.tf is an opinionated open-source framework for developing, building, deploying, and securing serverless applications and infrastructures on AWS using Terraform.
A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.
A free, open source, and extensible speech-to-text application that works completely offline.
Kimi K2 is the large language model series developed by Moonshot AI team
🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.
Like gmail for your coding agents. Lets various different agents communicate and coordinate with each other.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Readest is a modern, feature-rich ebook reader designed for avid readers offering seamless cross-platform access, powerful tools, and an intuitive interface to elevate your reading experience.
Codespaces but open-source, client-only and unopinionated: Works with any IDE and lets you use any cloud, kubernetes or just localhost docker.
Lean 4 programming language and theorem prover
A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.
High-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.
CLI tool for configuring and monitoring Claude Code