A minimal AI coding agent powered by Anthropic's Claude. Interactive terminal interface with tool execution. Visit https://lldong.github.io/tiny-trae for details.
☆16Jul 15, 2025Updated last year
Alternatives and similar repositories for tiny-trae
Users that are interested in tiny-trae are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MacTeX is All You Need.☆13Mar 10, 2019Updated 7 years ago
- Towards converting multilingual source code into one language-agnostic graph representation.☆49Mar 22, 2023Updated 3 years ago
- Tool & data on the correctness of Defects4 patches generated by program repair tools http://arxiv.org/pdf/1909.13694☆12May 29, 2023Updated 3 years ago
- ChatGPT for Mac, living in your menubar.☆1,323Jun 26, 2026Updated 4 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆23Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆19Updated this week
- Train Ticket - A Benchmark Microservice System☆17Sep 30, 2026Updated last month
- A tool to build a graph from a codebase☆14Feb 19, 2025Updated last year
- Natural language processing API to detect toxic chat.☆13Dec 10, 2021Updated 4 years ago
- Outdated. This was pre- Claude Code. All coding agents use a variant of this technique these days.☆15Feb 10, 2026Updated 8 months ago
- Jdit is a research processing oriented framework based on pytorch. The docs is here!☆30Apr 27, 2021Updated 5 years ago
- [NeurIPS 2025 D&B] 🚀 SWE-bench Goes Live!☆260Sep 25, 2026Updated last month
- This project explores my adventures doing a deep dive of OpenAI embeddings with Neo4j during the Fixie AI + LLM Hackathon on Saturday, Se…☆15Sep 19, 2023Updated 3 years ago
- [FSE'2026] PlayCoder: Making LLM-Generated GUI Code Playable☆49Apr 22, 2026Updated 6 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An autonomous AI agent orchestrator that coordinates an entire software company within OpenCode☆14Apr 29, 2026Updated 6 months ago
- Code Snippet Recommendation from Stack Overflow Post☆18Jun 30, 2021Updated 5 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- ☆22Mar 20, 2023Updated 3 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated 2 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- A static analysis tool for Java programs, based on the theory of code property graphs.☆22Mar 27, 2023Updated 3 years ago
- A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]☆33Nov 15, 2021Updated 4 years ago
- ☆16Aug 26, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Code for the paper "Multi-Field Adaptive Retrieval," a research project on a semi-structured document retrieval☆19Feb 13, 2026Updated 8 months ago
- Source code for our "What the App is That? Deception and Countermeasures in the Android User Interface" paper☆19May 21, 2015Updated 11 years ago
- memAry @ University of Texas at Austin☆21Apr 16, 2024Updated 2 years ago
- ☆36Apr 26, 2022Updated 4 years ago
- Repo2Run is an LLM-based agent that automates environment configuration by generating error-free Dockerfiles for Python repositories.☆198Jun 10, 2026Updated 4 months ago
- The RunBugRun dataset of executable bugs☆27Sep 24, 2025Updated last year
- ☆26Dec 16, 2023Updated 2 years ago
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆31Jan 22, 2025Updated last year
- 使用与微信 4 的图片查看☆14Jan 27, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Declarative skill manager for Claude Code and Codex. Declare skills in YAML, pin exact revisions in a lockfile, install them reproducibly…☆14Oct 23, 2026Updated last week
- An Internet Protocol TV (IPTV) of Malaysian's digital free-to-air television channels and radio.☆12Apr 8, 2025Updated last year
- 高性能异步架构 ∙ Cloudscraper 反检测核心，稳定绕过 Cloudflare ∙ OpenAI 格式 API 转换 ∙ 请求并发控制与自动化提示词 ∙ Token 认证（无需 Cookie） ∙ Docker 一键部署与内置 WebUI☆11Oct 21, 2025Updated last year
- ✨ A simple extension that allows you to search and add .cursorrules listed in cursor.directory.☆14Mar 26, 2025Updated last year
- this project is a set of best practice demos for bboss modules.You can find many simple examples for bboss mvc,bboss ioc,bboss persistent…☆10Jul 11, 2026Updated 3 months ago
- [TOSEM 2026]A Systematic Literature Review on Large Language Models for Automated Program Repair☆248May 1, 2026Updated 5 months ago
- Agent Skill Development Kit for Skill Writers and Power Users☆16Feb 6, 2026Updated 8 months ago