typesystem
Here are 32 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
Aug 20, 2024 - TypeScript
Utility package used across Ubermag.
-
Updated
Aug 19, 2024 - Python
Functional companion to Kotlin's Compiler
-
Updated
Aug 20, 2024 - Kotlin
Boxing primitive types in C++
-
Updated
Jul 17, 2024 - C++
A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
-
Updated
Jan 20, 2024 - JavaScript
Typesafe bindings for ⭐ Spark.NET
-
Updated
Sep 17, 2023 - C#
programming language type systems implemented in Rust
-
Updated
Apr 9, 2023 - Rust
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
-
Updated
Jul 30, 2022 - Kotlin
A set of Zig-inspired macros for type-based error handling in C
-
Updated
Jul 14, 2022 - C
Yet Another Language is a pure functional language written in Haskell
-
Updated
Jun 17, 2022 - Haskell
📘 | Simple type system repl the paper Typing Haskell in Haskell
-
Updated
Mar 29, 2022 - Haskell
👾 Sokoban Game in Pure TypeScript Type System
-
Updated
Nov 5, 2021 - TypeScript
Example app using Starlette, Typesystem, and Databases
-
Updated
Jun 13, 2020 - Python
An implementation of Linear Lambda Calculus.
-
Updated
Apr 16, 2020 - OCaml
-
Updated
Feb 7, 2020 - Racket
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."