An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and the type checker refuses to compile a false proof.
☆27Oct 13, 2026Updated last week
Alternatives and similar repositories for yon
Users that are interested in yon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24Updated this week
- ☆14Sep 9, 2026Updated last month
- Programming language for ternary computing☆31Feb 7, 2021Updated 5 years ago
- ☆13May 26, 2026Updated 4 months ago
- Functional AWK. Experiment, no quality guarantees. Not aiming to be compatible with the AWK standard.☆29Dec 9, 2025Updated 10 months ago
- 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.
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 9 months ago
- A dynamic language inspired by Python and E.☆80Dec 24, 2020Updated 5 years ago
- Continuation to Principia Rewrite☆24Oct 16, 2026Updated last week
- git clone that can clone in haskell☆14Oct 5, 2023Updated 3 years ago
- The opened source code of the Picat compiler, interpreter, and library.☆27Updated this week
- A code knowledge graph built for LLM agents — accurate answers, minimal tokens, maximum speed☆25Updated this week
- March is a statically-typed functional language: actors and message passing from the BEAM, algebraic data types from ML, compiled to nati…☆16Updated this week
- Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-pr…☆66Oct 11, 2026Updated last week
- Zero heap allocation HTTP server using OxCaml. v experimental!☆124Jan 25, 2026Updated 8 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.
- Blue - a colorForth/fasmg love child☆12Nov 28, 2025Updated 10 months ago
- The Turbo Haskell IDE☆38Updated this week
- a dependency management solution for zig projects!☆20Jan 15, 2023Updated 3 years ago
- Turn your product into an AI-powered assistant☆116Updated this week
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆40Feb 22, 2026Updated 8 months ago
- A programming language where the GPU is just another thread☆58Sep 23, 2026Updated last month
- kiwi array programming language☆18Updated this week
- The Plaid Programming Language Tools☆14Apr 11, 2015Updated 11 years ago
- Various examples of functionality in Eve and how to build apps.☆14Mar 20, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- tiny lang for differentiable tensors and reactive programming☆23Oct 14, 2026Updated last week
- ☆13May 5, 2025Updated last year
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- A safe, readable, and fast programming language☆66Updated this week
- A highly capable Domain Specific Language to programmatically create platform agnostic music queues and playlists☆12Oct 9, 2026Updated 2 weeks ago
- A Business and Professional Enablement Blockchain built with Substrate.☆18Jun 20, 2023Updated 3 years ago
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 3 years ago
- Play Sudoku in Rust's Type System and Rich Error Messages by Rustc🦀☆15May 24, 2025Updated last year
- An interaction combinator runtime☆18Sep 23, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Start here if you're new to Eve.☆30Mar 20, 2018Updated 8 years ago
- Open-source autonomous AI dev team: Sensei orchestrates specialist agents from idea to shipped product. The engine behind KageOps.☆13Aug 1, 2026Updated 2 months ago
- A Modular SDK (Server & Client) for Agent to Agent (A2A) protocol, with easy task lifecycle management☆13Jul 15, 2025Updated last year
- ☆14Oct 16, 2026Updated last week
- Rust library to interact with Bluetooth devices via RFCOMM channels☆11Jun 6, 2022Updated 4 years ago
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago
- Write complex SQL step-by-step in natural language — then compile it into auditable SQL. SQLazy turns AI-assisted query building into a …☆23Oct 8, 2026Updated 2 weeks ago