The Felix Programming Language

Algebraic type based schema system

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Native JavaScript prototype extension with symbol protocols

A compiler for a little statically-typed language implemented in Haskell.

Interpreter written for Prolog course.

A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.

[Talk] Programmation par Traits sous l'influence de la gestion mémoire

Generic type-safe dynamic array library for C

predicative lookup container

SLConf 2024: 타입으로 안전하게 프로그래밍하기

Annotation-based Java code generation

Reified generics in Python to get type parameters at runtime

A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

Generics for Go. A code generator, that uses struct declarations as DSL to configure what types should be created

Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.

Junu Spaghetti, a language that types spaghetti code

Let's write a C program in a parametric-polymorphismic way!

A sort package that sorts a slice regardless of the type of its contents.