typesystem
Here are 32 public repositories matching this topic...
Functional companion to Kotlin's Compiler
-
Updated
Nov 20, 2024 - Kotlin
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
-
Updated
Nov 27, 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++
Utility package used across Ubermag.
-
Updated
Nov 25, 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
Short program to illustrate the use of polymorphic variant in OCaml
-
Updated
Feb 23, 2017 - OCaml
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."