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.
☆26Aug 4, 2026Updated last month
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:
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 3 years ago
- Spectre programming language☆72May 27, 2026Updated 3 months ago
- Programming language for ternary computing☆31Feb 7, 2021Updated 5 years ago
- Functional AWK. Experiment, no quality guarantees. Not aiming to be compatible with the AWK standard.☆29Dec 9, 2025Updated 9 months ago
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 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.
- A dynamic language inspired by Python and E.☆80Dec 24, 2020Updated 5 years ago
- A scheme implementation with QT and higher maths support.☆22Updated this week
- The opened source code of the Picat compiler, interpreter, and library.☆27Updated this week
- Small, simple, expression-oriented programming language.☆30Jun 2, 2026Updated 3 months ago
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆95Jan 20, 2026Updated 7 months ago
- Lightweight, flexible programmer's calculator with variables and functions☆31Jun 20, 2025Updated last year
- The Plaid Programming Language Tools☆14Apr 11, 2015Updated 11 years ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆40Feb 22, 2026Updated 6 months ago
- A programming language where the GPU is just another thread☆58May 3, 2026Updated 4 months 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.
- 🐌 A tiny shell in C with pipes, cd, env var expansion, history, and tab completion.☆17Mar 16, 2026Updated 5 months ago
- Various examples of functionality in Eve and how to build apps.☆14Mar 20, 2017Updated 9 years ago
- "Ü" programming language☆114Aug 22, 2026Updated 3 weeks ago
- A Business and Professional Enablement Blockchain built with Substrate.☆18Jun 20, 2023Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated 11 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated 10 months ago
- A safe, readable, and fast programming language☆65Updated this week
- Play Sudoku in Rust's Type System and Rich Error Messages by Rustc🦀☆15May 24, 2025Updated last year
- Edit by Example - automated file editing just from given examples.☆16May 14, 2022Updated 4 years 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.
- The Seal Programming Language☆23Sep 3, 2026Updated last week
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 3 years ago
- A functional language for machine learning. Inspired by Clojure, compiled to GPUs.☆55Updated this week
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago
- A fork of elm-live☆19Jul 19, 2023Updated 3 years ago
- ARCHIVED — split into 6 standalone repos. See README for links.☆129Jul 13, 2026Updated last month
- Implementation of HashMap and HashSet for no_std environments☆19Aug 19, 2019Updated 7 years ago
- Systems programming language with Python-like syntax and C-level performance. Compiles to native x86-64 machine code without external dep…☆24Apr 25, 2026Updated 4 months ago
- Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type infere…☆114Jun 1, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 4 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- Rapira programming language / Язык программирования Рапира☆56May 24, 2026Updated 3 months ago
- Mewl, program in cats' language; A just-for-fun language☆19Sep 20, 2022Updated 3 years ago
- The WebRacket language is a subset of Racket that compiles to WebAssembly☆126Updated this week
- Temporary home of Eve in Lua - will be merged into witheve/eve soon.☆19Jul 19, 2016Updated 10 years ago
- A Tiny, Friendly Companion to LLVM☆48Jan 12, 2026Updated 8 months ago