Repository Index

Esoteric Programming Language

• livecoding
• osc
• udp
• midi

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^

• ddd
• ddd-architecture
• ddd-example
• transpiler

The single instruction language - Flip a bit, then Jump

• esoteric-programming-language
• programming-language
• oisc
• esolang

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436