Report on advancements in Type Theory and application of Program Verification

Infinity Lang Type System Implementation

This project allowes to programatically define, use and validate a generic typesystem consisting of types, attributes and items. Furthermore there a some services which may be customized to your own project needs.

A repository to store examples that helps developing object immutability type system

A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.

Yet Another Language is a pure functional language written in Haskell

Never Never

Short program to illustrate the use of polymorphic variant in OCaml

programming language type systems implemented in Rust

Basic type classes wrapping scalar values

A set of Zig-inspired macros for type-based error handling in C

Example app using Starlette, Typesystem, and Databases

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

Functional programming language with a powerfull typesystem

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

Typesafe bindings for ⭐ Spark.NET

A Language for the Specification and Efficient Implementation of Type Systems