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.
☆28Aug 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 4 months 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
- A dynamic language inspired by Python and E.☆80Dec 24, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The opened source code of the Picat compiler, interpreter, and library.☆27Sep 22, 2026Updated last week
- Small, simple, expression-oriented programming language.☆30Jun 2, 2026Updated 4 months ago
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆95Jan 20, 2026Updated 8 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
- Zero heap allocation HTTP server using OxCaml. v experimental!☆125Jan 25, 2026Updated 8 months ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆40Feb 22, 2026Updated 7 months ago
- A programming language where the GPU is just another thread☆58Sep 23, 2026Updated last week
- 🐌 A tiny shell in C with pipes, cd, env var expansion, history, and tab completion.☆17Mar 16, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆25Aug 19, 2026Updated last month
- Various examples of functionality in Eve and how to build apps.☆14Mar 20, 2017Updated 9 years ago
- A Business and Professional Enablement Blockchain built with Substrate.☆18Jun 20, 2023Updated 3 years ago
- Start here if you're new to Eve.☆30Mar 20, 2018Updated 8 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated 11 months ago
- A safe, readable, and fast programming language☆65Updated this week
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A functional language for machine learning. Inspired by Clojure, compiled to GPUs.☆55Sep 25, 2026Updated last week
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago
- A fork of elm-live☆19Jul 19, 2023Updated 3 years ago
- A small, concatenative programming language. Implemented in C99.☆14Aug 8, 2022Updated 4 years ago
- Constraint solver based on abstract interpretation☆11Dec 20, 2024Updated last year
- ARCHIVED — split into 6 standalone repos. See README for links.☆128Jul 13, 2026Updated 2 months ago
- Implementation of HashMap and HashSet for no_std environments☆19Aug 19, 2019Updated 7 years ago
- Puppet module for managing Hashicorp's Vault☆11Jan 4, 2020Updated 6 years ago
- Conway's Game of Life using a comonad☆24Jan 3, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 4 months ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- Terminal ai integrates with most AI APIs☆15Sep 18, 2024Updated 2 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 5 years ago
- litellm without the bloat☆234Updated this week
- Code Examples for Data Science for Crime Analysis with Python book☆10Jun 29, 2024Updated 2 years ago
- Makes a Makefile for a Go application☆16Sep 25, 2026Updated last week