typesystem

A Gradual type system for Erlang

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

Functional companion to Kotlin's Compiler

👾 Sokoban Game in Pure TypeScript Type System

luajit with a typesystem

hindley-milner algorithm

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

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

The immune system for AI coding agents

Boxing primitive types in C++

An implementation of Linear Lambda Calculus.

Rubysierung is the type system Ruby deserves

Utility package used across Ubermag.

A Language for the Specification and Efficient Implementation of Type Systems

Typesafe bindings for ⭐ Spark.NET

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

Lune is a super set of Lua with an actual type system for type safe applications.

Functional programming language with a powerfull typesystem

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