A statically typed concatenative systems programming language.

smol IDE for a smol language that permits insane static analysis because smol

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

A fast regular expression compiler in Common Lisp

A literate programming tool for any language

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

A tiny toy formalization of Hoare logic for IMP with a proof of soundness

sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.

A just-in-time-compiling forth system using libfirm.

A Smalltalk and Rebol inspired language implemented as an AST interpreter in Nim

Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

A modern fully featured C compiler.

babygo👶 is a small Go compiler made from scratch, which can compile itself. It's going to be the smallest and simplest go compiler in the world.

A fast and lightweight native programming language

Moved to Codeberg

a readable language that grows from the silicon

A small extensible programming language designed for concise expression with little code.

A collection of examples and explanations about Julia

A bootsector FORTH

Koka language compiler and interpreter

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…

A fast functional language based on two level type theory

A fast, friendly, functional language.

A massively parallel, optimal functional runtime in Rust

Exocompilation for productive programming of hardware accelerators