typesystem
Here are 36 public repositories matching this topic...
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
-
Updated
Feb 24, 2026 - Rust
Functional companion to Kotlin's Compiler
-
Updated
Jun 4, 2026 - Kotlin
👾 Sokoban Game in Pure TypeScript Type System
-
Updated
Mar 12, 2026 - TypeScript
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
-
Updated
Jul 30, 2022 - Kotlin
Typir is an open source library for type checking in the web
-
Updated
Feb 25, 2026 - TypeScript
The immune system for AI coding agents
-
Updated
Aug 22, 2026 - TypeScript
Boxing primitive types in C++
-
Updated
Sep 27, 2024 - C++
An implementation of Linear Lambda Calculus.
-
Updated
Apr 16, 2020 - OCaml
Rubysierung is the type system Ruby deserves
-
Updated
Jul 27, 2015 - Ruby
A Language for the Specification and Efficient Implementation of Type Systems
-
Updated
Mar 16, 2026 - TeX
Utility package used across Ubermag.
-
Updated
Aug 31, 2026 - Python
Typesafe bindings for ⭐ Spark.NET
-
Updated
Sep 17, 2023 - C#
WIP (very WIP): Linear Typing for Go (master's thesis)
-
Updated
Dec 19, 2017 - Go
Lune is a super set of Lua with an actual type system for type safe applications.
-
Updated
May 9, 2025 - Zig
-
Updated
Jan 13, 2019 - C
Functional programming language with a powerfull typesystem
-
Updated
Jul 23, 2019 - F#
📘 | Simple type system repl the paper Typing Haskell in Haskell
-
Updated
Mar 29, 2022 - Haskell
Add this topic to your repo
To associate your repository with the typesystem topic, visit your repo's landing page and select "manage topics."
