The Felix Programming Language

• UpdatedSep 23, 2024
• C

Algebraic type based schema system

• UpdatedJan 30, 2020
• Haskell

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

• UpdatedApr 12, 2019
• Haskell

Native JavaScript prototype extension with symbol protocols

• UpdatedMar 24, 2025
• TypeScript

Interpreter written for Prolog course.

• UpdatedFeb 18, 2020
• Prolog

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

• UpdatedJul 7, 2021
• Python

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

• UpdatedNov 15, 2023
• Rust

Generic type-safe dynamic array library for C

• UpdatedApr 28, 2018
• C

predicative lookup container

• UpdatedNov 20, 2018
• Haskell

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

• UpdatedJan 14, 2024
• TeX

Annotation-based Java code generation

• UpdatedMay 2, 2023
• Java

Reified generics in Python to get type parameters at runtime

• UpdatedFeb 27, 2025
• Python

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

• UpdatedAug 5, 2017
• Haskell

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

• UpdatedJul 29, 2019
• Go

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

• UpdatedMay 26, 2023
• Scala

Junu Spaghetti, a language that types spaghetti code

• UpdatedJan 12, 2022
• Haskell

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

• UpdatedNov 27, 2023
• C

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

• UpdatedMar 28, 2023
• Go

A simple yet powerful Discord music bot using the Lavalink client (Shoukaku & Kazagumo) and Discord.js v14.

• UpdatedMar 31, 2025
• JavaScript