⭐️ A friendly language for building type-safe, scalable systems!

A statically typed programming language for scientific computations with first class support for physical dimensions and units

The parallel, concurrent, and functional programming language for scalable software development

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

🔮 The application platform for your cyberpunk desk

An experimental project for statically typed scripting language.

The initial (legacy) compiler for the Gera programming language.

Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro

Evelin is a general purpose, statically typed, compiled language using the QBE backend with C FFI support.

A minimal statically typed compiled stack-based concatenative programming language.

Generate code for merging structs

What would Rust with the simplicity of TypeScript look like? This is my take.

🌙 Comfortable and succinct programming language. Type-safe, expressive and to the point.

tiny utility program for type-analysis of shell pipelines based on ladder-typing

Lun is a general-purpose programming language, that compile AOT to machine code, used to create maintanable, reusable and optimized software.

Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)

Timeless & Playful Language

A Functional Programming Language inspired by Haskell and Kotlin

Learning Compiler Theory, trying some random ideas...