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.
☆27Nov 8, 2026Updated this 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:
- Scientific Programming Language that compiles to Go☆13Updated this week
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆60Oct 5, 2026Updated last month
- ☆25Updated this week
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 3 years ago
- ☆13May 26, 2026Updated 5 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.
- Spectre programming language☆83Updated this week
- Functional AWK. Experiment, no quality guarantees. Not aiming to be compatible with the AWK standard.☆29Dec 9, 2025Updated 11 months ago
- git clone that can clone in haskell☆14Oct 5, 2023Updated 3 years ago
- Small, simple, expression-oriented programming language.☆30Nov 3, 2026Updated last week
- A scheme implementation with QT and higher maths support.☆24Updated this week
- Zero heap allocation HTTP server using OxCaml. v experimental!☆125Jan 25, 2026Updated 9 months ago
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆94Updated this week
- 🐌 A tiny shell in C with pipes, cd, env var expansion, history, and tab completion.☆18Mar 16, 2026Updated 7 months ago
- A dynamic language inspired by Python and E.☆80Dec 24, 2020Updated 5 years 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.
- Blue - a colorForth/fasmg love child☆12Nov 28, 2025Updated 11 months ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆41Feb 22, 2026Updated 8 months ago
- A programming language where the GPU is just another thread☆58Sep 23, 2026Updated last month
- The Plaid Programming Language Tools☆15Apr 11, 2015Updated 11 years ago
- The opened source code of the Picat compiler, interpreter, and library.☆28Updated this week
- Data-oriented systems programming language for high-throughput, deterministic compute pipelines, enforcing a straight-line SIMD execution…☆12Sep 24, 2026Updated last month
- a dependency management solution for zig projects!☆20Jan 15, 2023Updated 3 years ago
- Various examples of functionality in Eve and how to build apps.☆14Mar 20, 2017Updated 9 years ago
- A dynamically typed language with the bare minimum features to be enjoyable and simple to use.☆12Jul 30, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- "Ü" programming language☆117Updated this week
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- A highly capable Domain Specific Language to programmatically create platform agnostic music queues and playlists☆12Updated this week
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 4 years ago
- A safe, readable, and fast programming language☆66Updated this week
- Information-cell theory paper and POC C++ implementation☆11Updated this week
- Lightweight, flexible programmer's calculator with variables and functions☆31Jun 20, 2025Updated last year
- Play Sudoku in Rust's Type System and Rich Error Messages by Rustc🦀☆15May 24, 2025Updated last year
- Bau is a simple, concise, safe, powerful and fast programming language.☆80Sep 21, 2026Updated last month
- 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.
- Write my own database from scratch☆19Nov 22, 2021Updated 4 years ago
- Draw a mandala with mirrored symmetry: pick the number of folds, paint with a brush, and export your mandala as PNG or SVG.☆15Oct 10, 2026Updated last month
- 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 5 months ago
- ☆13May 5, 2025Updated last year
- 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
- Open-source LLMOps platform with prompt management, an OpenAI-compatible AI gateway, OpenTelemetry tracing, a versioned tool catalog, and…☆13Updated this week
- Print regular expressions with syntax highlighting in the terminal. Useful for debugging, visually inspecting and understanding complex r…☆10Jan 30, 2026Updated 9 months ago
Are these results useful?