Contribute to Eriskii/implicit-macros development by creating an account on GitHub.
Strong arrows: a new approach to gradual typing
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
iammatthias/nimbus
Contribute to iammatthias/nimbus development by creating an account on GitHub.
Cognition | Agent Trace: Capturing the Context Graph of Code
We’re excited to join in Cursor, Cloudflare, Vercel, git-ai, OpenCode and others in support of [Agent Trace](https://agent-trace.dev/). As described in the spec, Agent Trace is an open, vendor-neutral spec for recording AI contributions alongside human authorship in version-controlled codebases.
chore: bump Claude Code to 2.1.128 and Agent SDK to 0.2.128 · anthropics/claude-code-action@2cc1ac1
Contribute to anthropics/claude-code-action development by creating an account on GitHub.
wild-card-ai/agents-json
Contribute to wild-card-ai/agents-json development by creating an account on GitHub.
Priivacy-ai/spec-kitty
Spec-Driven Development for serious software developers. Spec Coding with with Claude, Cursor, Gemini, Codex. Kanban dashboard, git worktrees, auto-merge and more.
Univer: Office SDK & Office Harness for AI Agents
Build your own AI office with Univer Office SDK: Office editing, calculation and files for people and agents, embedded in your product and self-hosted.
Understanding Spec-Driven-Development: Kiro, spec-kit, and Tessl
Notes from my Thoughtworks colleagues on AI-assisted software delivery
Instadapp
Building a suite of tools to leverage the full potential of DeFi and bring it to the masses
PassiveModding/BlueskyFeed
Contribute to PassiveModding/BlueskyFeed development by creating an account on GitHub.
ikaijua/Awesome-AITools
Collection of AI-related utilities. Welcome to submit pull requests /收藏AI相关的实用工具，欢迎提交pull requests
GNU and the AI reimplementations - <antirez>
My review of Claude’s new Code Interpreter, released under a very confusing name
Today on the Anthropic blog: Claude can now create and edit files: Claude can now create and edit Excel spreadsheets, documents, PowerPoint slide decks, and PDFs directly in Claude.ai and …
