P

programming language

The STYX compiler and its RTL

Lali Another Lisp Implementation

What is Oblíbený? Oblíbený (Czech: "beloved" or "favorite") is a programming language that fundamentally rethinks how we write, verify, and deploy software. It combines:

🔐 Security by Design: deployment-time code is provably terminating and resource-bounded ✅ Distributed Verification: crowd-sourced formal verification of language properties 📐 Formally Verified: property-based testing and formal methods

Leonardus is an open source project. It is a minimalist, stack-based programming system designed as a flexible framework for implementing and exploring algorithms. The syntax and semantics of its scripting language, LeoScript, are inspired by PostScript and Forth. It is extended with a prototype-based, object-oriented paradigm, has seamless integration into JupyterLab and Docker, and provides a concise and expressive environment for learning and experimentation.

The project name is a nod to Leonardus Pisanus, who was named and became known as Fibonacci.

Consult the project's GitLab Pages for documentation.

Interdimensional Programming Language - General Purpose System Programming Language

A very very small programming language. A subset of Ruby. It is developed independently but resembles https://crystal-lang.org/.

Stack-Based ASseMbly like language

Toy language

An audio matrix written in the Faust programming language.

Programming Language that compiles into WebAssembly!

Programming framework for microcontrollers based on a V-like language. This is developed in Python using Lark module.

Programming framework for microcontrollers based on a V-like language.

A C-like language for tired programmers