Catalogue of languages designed for Agents
☆25Nov 9, 2026Updated this week
Alternatives and similar repositories for agentlanguages
Users that are interested in agentlanguages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Miri: GPU-first programming language☆16Updated this week
- A Robust Easy to Learn Framework☆17Jan 5, 2019Updated 7 years ago
- A Lisp for AI: a persistent environment that humans and agents drive, extend, and grow over time.☆14Oct 6, 2026Updated last month
- Cobblestone Project built with the Codex Programming Language☆18Nov 1, 2026Updated last week
- ToolHive's registry catalog of MCP servers☆25Updated this week
- 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.
- ☆10Jan 10, 2026Updated 9 months ago
- ✨ Non-empty lists in Gleam☆12Jul 16, 2026Updated 3 months ago
- ☆16Jul 21, 2025Updated last year
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆20Nov 2, 2026Updated last week
- An easy to use gleam qr code generator☆14Aug 3, 2026Updated 3 months ago
- Powerful Python-based metaprogramming for Rust☆14Updated this week
- A memory-safe object-oriented programming language.☆15Updated this week
- A Gleam wrapper around the Meck library to do mocking in the easiest way☆14Sep 14, 2025Updated last year
- A RFC Compliant Verified DNS server☆13Jul 17, 2026Updated 3 months 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.
- Color palette based on Pilot Iroshizuku inks☆17Oct 18, 2026Updated 3 weeks ago
- physics based piano synth☆13Oct 9, 2026Updated last month
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- A systems language where architecture is executable and implementation is replaceable, with a focused, polarized, intuitionistic substruc…☆21Updated this week
- Recommend AI coding harness changes from repository context and coding signals, then distribute approved rules, skills, hooks and agents …☆18Oct 22, 2026Updated 2 weeks ago
- Your TypeScript, compiled to a native executable. Rust-class speed, every core, no runtime.☆14Updated this week
- A language platform for verifiable systems and research.☆15Updated this week
- Pilang is a lightweight, general-purpose programming language written in C. a full real-world scripting language with modular architectur…☆23Nov 2, 2026Updated last week
- The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership …☆25Updated this week
- 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.
- Easy bindings between Lean and Python.☆12May 7, 2026Updated 6 months ago
- Electrical Templates is a symbol library used to make good-looking and uniformized electrical circuit schematics in a vectorized software…☆11Jan 9, 2024Updated 2 years ago
- A CLI tool for documenting Gleam modules☆15Sep 17, 2025Updated last year
- Database migrations for SQLite☆21Jun 14, 2026Updated 4 months ago
- The original parsing with derivatives haskell implementation☆13Aug 25, 2015Updated 11 years ago
- In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq☆18Updated this week
- Send emails with Gleam.☆17Apr 19, 2026Updated 6 months ago
- An esoteric programming language written in Ancient Greek☆12Nov 29, 2021Updated 4 years ago
- A library providing https://lucide.dev icons to lustre☆15Dec 28, 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.
- Esoteric Programming Languages, Formally☆62Sep 6, 2026Updated 2 months ago
- ☆14Updated this week
- libretro core to play PuzzleScript games☆17Mar 1, 2026Updated 8 months ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- ☆28Updated this week
- Universal, evidence-native double-entry accounting system of record in Rust on FrankenGraphDB: bitemporal, append-only with first-class r…☆28Updated this week
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated 2 months ago
Are these results useful?