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 2 weeks ago
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:
- ☆23Updated this week
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 3 years 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 8 months ago
- A dynamic language inspired by Python and E.☆81Dec 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.
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- A scheme implementation with QT and higher maths support.☆21Updated this week
- The opened source code of the Picat compiler, interpreter, and library.☆24Updated this week
- Small, simple, expression-oriented programming language.☆30Jun 2, 2026Updated 2 months ago
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆94Jan 20, 2026Updated 7 months ago
- Lightweight, flexible programmer's calculator with variables and functions☆31Jun 20, 2025Updated last year
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆39Feb 22, 2026Updated 6 months ago
- A programming language where the GPU is just another thread☆57May 3, 2026Updated 3 months ago
- 🐌 A tiny shell in C with pipes, cd, env var expansion, history, and tab completion.☆17Mar 16, 2026Updated 5 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.
- ☆25Updated this week
- "Ü" programming language☆114Updated this week
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated 11 months ago
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 10 months ago
- A safe, readable, and fast programming language☆65Updated this week
- An interaction combinator runtime☆18Sep 23, 2024Updated last year
- 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
- 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.
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- 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.☆54Updated this week
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago
- A small, concatenative programming language. Implemented in C99.☆14Aug 8, 2022Updated 4 years ago
- ARCHIVED — split into 6 standalone repos. See README for links.☆129Jul 13, 2026Updated last month
- Glide programming language☆22Apr 7, 2023Updated 3 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 3 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 2 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.
- 𝐧𝐝 A small programming language with an interpreter, and a WebAssembly compiler.☆15Jun 8, 2024Updated 2 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 9 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 4 years ago
- A fast, multi-protocol download utility written in Rust☆17Jun 8, 2026Updated 2 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Home of the NeoHaskell docs☆16Nov 9, 2025Updated 9 months ago
- Advent of Code 2020 Haskell Solutions☆16Dec 29, 2020Updated 5 years ago