The programming language design wiki.
☆26Oct 3, 2025Updated 8 months ago
Alternatives and similar repositories for wiki
Users that are interested in wiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.☆32Updated this week
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Jul 5, 2012Updated 13 years ago
- ☆36Sep 19, 2013Updated 12 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆33Jan 11, 2022Updated 4 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Structured concurrency for the Dart Programming Language.☆17May 11, 2023Updated 3 years ago
- Structured Async/Concurrency for Lua☆19Oct 17, 2023Updated 2 years ago
- The Closey programming language☆13Jul 20, 2021Updated 4 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆22Jan 2, 2025Updated last year
- A gradually typed language originally based on the crafting interpreters series☆66Aug 4, 2025Updated 10 months ago
- Old script-fu updated for Gimp 3.0 3.2 and 2.10 (300 in file name)☆18May 24, 2026Updated 2 weeks ago
- Simple beat detection header library☆20Jan 9, 2012Updated 14 years ago
- ReactiveML: a programming language for implementing interactive systems.☆20Nov 14, 2022Updated 3 years ago
- ☆32Updated this week
- 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.
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆40Jun 3, 2026Updated last week
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 8 years ago
- A highly customizable bevel that allows the user to change GEGL blend modes, blur types and much more.☆18Sep 25, 2025Updated 8 months ago
- 2D game engine for mobile devices in C#.☆18Sep 16, 2022Updated 3 years ago
- The Egel Programming Language☆84Apr 8, 2026Updated 2 months ago
- Create sequence diagrams from textual descriptions.☆25Mar 23, 2026Updated 2 months ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 14 years ago
- The Stroscot Programming Language☆12Jan 15, 2024Updated 2 years 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.
- Copying Garbage Collector☆14May 13, 2020Updated 6 years ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Jul 28, 2023Updated 2 years ago
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- Two Kilo—fully functional texteditor in 2 kb of C☆15May 29, 2020Updated 6 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 5 years ago
- A toy programming language.☆42Jan 16, 2024Updated 2 years ago
- Our website☆11Dec 6, 2022Updated 3 years ago
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 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.
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 6 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- A C library for displaying informative, clean and readable errors☆26Mar 21, 2024Updated 2 years ago
- A small inline caching demo.☆15Feb 1, 2023Updated 3 years ago