A Gradual type system for Erlang

• UpdatedOct 11, 2024
• Erlang

Functional companion to Kotlin's Compiler

• UpdatedMar 14, 2025
• Kotlin

Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.

• UpdatedMar 18, 2025
• Rust

👾 Sokoban Game in Pure TypeScript Type System

• UpdatedNov 5, 2021
• TypeScript

luajit with a typesystem

• UpdatedMar 13, 2025
• Lua

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

• UpdatedJul 30, 2022
• Kotlin

hindley-milner algorithm

• UpdatedJun 3, 2023
• Rust

Typir is an open source library for type checking in the web

• UpdatedMar 10, 2025
• TypeScript

An implementation of Linear Lambda Calculus.

• UpdatedApr 16, 2020
• OCaml

Boxing primitive types in C++

• UpdatedSep 27, 2024
• C++

Rubysierung is the type system Ruby deserves

• UpdatedJul 27, 2015
• Ruby

A Language for the Specification and Efficient Implementation of Type Systems

• UpdatedJan 29, 2019
• TeX

Utility package used across Ubermag.

• UpdatedFeb 3, 2025
• Python

Typesafe bindings for ⭐ Spark.NET

• UpdatedSep 17, 2023
• C#

📘 | Simple type system repl the paper Typing Haskell in Haskell

• UpdatedMar 29, 2022
• Haskell

Functional programming language with a powerfull typesystem

• UpdatedJul 23, 2019
• F#

WIP (very WIP): Linear Typing for Go (master's thesis)

• UpdatedDec 19, 2017
• Go

• UpdatedJan 13, 2019
• C

Never Never

• UpdatedJun 12, 2017
• JavaScript

Short program to illustrate the use of polymorphic variant in OCaml

• UpdatedFeb 23, 2017
• OCaml