An implementation of interaction nets in JS.
-
Updated
Jul 20, 2025 - TypeScript
An implementation of interaction nets in JS.
Indentation-based syntax for Clojure
This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
A modern scripting language; implemented in old school C, yacc & flex
DotWhitespace is an esoteric programming language using Python.
Hindley–Milner type inference implemented in Python.
A systems programming language built around explicitness, predictability, and control.
👁️ An interpreted, non-esoteric programming language. "Language of vision".
An assembler compiler with special instruction sets written in C language.
A statically-typed scripting language and bytecode VM for sandboxed execution of AI-generated code, built in C++ with no GC or JIT.
An experimental compiled programming language focused on making the syntax as compact as possible without sacrificing readability
Swahili Programming language, It is an implementation of Basic Programming Language using Python and Swahili Lexical terms
An interpreter for an imperative language I designed
Distributed graph operation language for programming non-neurological artificial intelligence systems.
MPL (Mathematics Programming Language) — write the equation, run the equation. A programming language built entirely from mathematical notation: culture-agnostic, English-free, readable by anyone who knows the math. Complete ANTLR parser proves the concept; interpreter and runtime are the frontier. Contributors wanted.
Linguo is an experimental programming language designed to be as close to natural English as possible. It features a readable, English-like syntax while maintaining the power of a modern programming language.
A pure functional language whose compiler is written in Glass and rebuilds itself to byte-identical C — carrying a from-scratch zk-STARK prover whose proofs are judged by three independent lineages. Write a function, get a proof; exit codes carry the verdict. Research-grade, honestly bounded.
Formal language and runtime architecture specifications for the Lexum deterministic control-plane system.
Programming Language Design using GOLD Parser Builder System
Dea is a systems programming language built through staged bootstrapping.
Add a description, image, and links to the programming-language-design topic page so that developers can more easily learn about it.
To associate your repository with the programming-language-design topic, visit your repo's landing page and select "manage topics."