typesystem
Here are 32 public repositories matching this topic...
Functional companion to Kotlin's Compiler
-
Updated
Dec 17, 2024 - Kotlin
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
-
Updated
Dec 17, 2024 - Rust
👾 Sokoban Game in Pure TypeScript Type System
-
Updated
Nov 5, 2021 - TypeScript
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
-
Updated
Jul 30, 2022 - Kotlin
An implementation of Linear Lambda Calculus.
-
Updated
Apr 16, 2020 - OCaml
Rubysierung is the type system Ruby deserves
-
Updated
Jul 27, 2015 - Ruby
Boxing primitive types in C++
-
Updated
Sep 27, 2024 - C++
Typir is an open source library for type checking in the web
-
Updated
Dec 17, 2024 - TypeScript
Utility package used across Ubermag.
-
Updated
Dec 16, 2024 - Python
A Language for the Specification and Efficient Implementation of Type Systems
-
Updated
Jan 29, 2019 - TeX
Typesafe bindings for ⭐ Spark.NET
-
Updated
Sep 17, 2023 - C#
📘 | Simple type system repl the paper Typing Haskell in Haskell
-
Updated
Mar 29, 2022 - Haskell
Functional programming language with a powerfull typesystem
-
Updated
Jul 23, 2019 - F#
WIP (very WIP): Linear Typing for Go (master's thesis)
-
Updated
Dec 19, 2017 - Go
-
Updated
Jan 13, 2019 - C
Report on advancements in Type Theory and application of Program Verification
-
Updated
Oct 23, 2018 - TeX
Improve this page
Add a description, image, and links to the typesystem topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typesystem topic, visit your repo's landing page and select "manage topics."