my AGENTS.md
☆97Sep 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for AGENTS.md
Users that are interested in AGENTS.md are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VideoNote：将视频转成文字或笔记。理解画面/弹幕/评论；支持主流平台；工具解耦；多格式导出。☆101Updated this week
- Local document Q&A in your terminal — powered by on-device LLMs.☆71Updated this week
- 微明 Glimmer：用 Rust 写的跨平台输入法，派生自青简 Qingjian（GPL-3.0-or-later）☆49Oct 10, 2026Updated last week
- Nautilus Log — a transparent dynamic day planner for Roam Research☆27Sep 20, 2026Updated 3 weeks ago
- Go Concurrency Distilled mini-book☆89Sep 26, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- 一字之間，照見五地字形☆141Sep 18, 2026Updated 3 weeks ago
- An integrated API with API calls for GPT, Wenxin Yiyin, Zhispectrum, Qianqi, minimax, and Ollama, which is great for AI IDEs such as Curs…☆11Feb 10, 2025Updated last year
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- 使用 GitHub Actions 云编译 Openwrt Lede CR660X/TR60X 固件 | GitHub Actions for building LEDE CR660X/TR60X 每周一自动编译☆19Feb 2, 2025Updated last year
- This package aims to generate phylogenetic trees for a list of species of plants or animals, based on an existent backbone phylogeny.☆15Nov 20, 2024Updated last year
- ☆11Dec 12, 2021Updated 4 years ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated 2 weeks ago
- 2025 年秋冬学期浙江大学计算机学院朋辈辅学「技能拾遗」课程仓库☆17Dec 5, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Doska is a clean, local-first kanban app with a Markdown editor and optional sync to a folder or server.☆104Updated this week
- PL Reading Group Website☆16Jan 12, 2026Updated 9 months ago
- ☆11Feb 15, 2022Updated 4 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- The durable runtime for AI agents: event-sourced sessions, approvals that persist across processes, exact resume after a crash. A 2,200-l…☆73Updated this week
- A small R notebook describing how plot common (aDNA) population genetics PCAs using R and the tidyverse.☆14May 3, 2019Updated 7 years ago
- ☆12Sep 4, 2025Updated last year
- An unofficial Rust reimplementation of Anthropic's Claude Code terminal UI, built on iocraft☆621Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated 7 months ago
- Lox language interpreter written in Rust☆20Oct 24, 2024Updated last year
- typing haskell in haskell☆18Sep 22, 2022Updated 4 years ago
- Programming Languages I Lecture Notes☆13Jul 1, 2026Updated 3 months ago
- ☆184Updated this week
- Awesome Agda Programming☆19Sep 22, 2025Updated last year
- 网易云音乐nodejs api☆26Jan 24, 2019Updated 7 years ago
- PocketHub — A well-crafted open-source GitHub client for Android (Kotlin + Jetpack Compose + Material 3).☆32Sep 13, 2026Updated last month
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- problems from codeforces solved in haskell☆12Oct 25, 2019Updated 6 years ago
- Rust simple async runtime constructions book.☆17Apr 14, 2024Updated 2 years ago
- Bring ViPER to macOS!☆62Aug 13, 2026Updated 2 months ago
- Multi Layer Perceptron with SGD, Momentum and AdaGrad from Scratch Using Python3☆15Mar 22, 2017Updated 9 years ago
- Bibliography of Scheme-related Research☆16Apr 11, 2019Updated 7 years ago
- An interpreter for the While language written in Haskell☆14Mar 26, 2020Updated 6 years ago
- Exercises for EOPL in Haskell☆15Jun 8, 2026Updated 4 months ago