The Zap Programing Language

A hobby programming language.

My 1st JS interpreter for a tiny subset of JS. ABANDONED

The Hazy Haskell Compiler

The Toy Programming Language.

H-hat quantum programming language

Formal verification support for Kotlin

reworking quest, but faster

The Quest programming language

Noa programming language

A programming language for the JVM designed to be amenable to sandboxing

A playground for my language design ideas

Empowering everyone to build nonexistent software

Atlas77 is a programming language in development written in Rust

Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).

A small MIDI sequencer DSL designed around vectors and euclidean rhythms

Clarity, power and performance united

Source code for the Pipefish programming language

Smalltalk like programming language

Bytecode Format targeted by Hades and eBF, and utilized by Chronos VM Project

Assembly mimic targeting the Gaia Bytecode.

A low-level, general purpose language with DSL-favoring features and memory safety rules

A functional programming language, mirroring Erlang and Go, but with more OCaml!

an ergonomic systems general-purpose programming language with extensive metaprogramming and without runtime types or hidden allocations; transpiles to GNU23 providing an optimized Clang distribution

Learn to code with Wipple.

Next version of the Escalier compiler written in Go

Borgo is a statically typed language that compiles to Go.

Parse unicode identifiers