programming-language-design

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.

👁️ 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.

Strange dynamic programming and scripting language that performs mathematical computations on a connected Raspberry Pi Pico (RP2040) through UART connectivity.

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.

Research language whose affine/QTT core is proved sound twice — Coq and Idris2, axiom-free and CI-gated — with the verified usage-checker ported into the Rust compiler. Nested Solo ⊂ Duet ⊂ Ensemble dialects, session-typed concurrency, echo types for loss that isn't erasure. Early alpha.

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.

Programming Language Design using GOLD Parser Builder System

Formal language and runtime architecture specifications for the Lexum deterministic control-plane system.

Dea is a systems programming language built through staged bootstrapping.