A Gradual type system for Erlang

Functional companion to Kotlin's Compiler

👾 Sokoban Game in Pure TypeScript Type System

Declarative API development platform. Build serverless backends with zero-trust and less code, no matter where and how your (legacy) systems are.

luajit with a typesystem

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

hindley-milner algorithm

🐍 💡 The bus 🚌 for your internet services (made w/ Starlette)

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

Boxing primitive types in C++

A typesystems library with exaggerated claims.

Typesafe bindings for ⭐ Spark.NET

Functional programming language with a powerfull typesystem

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

Typir is a library for building type systems

Never Never