Utility package used across Ubermag.
-
Updated
Jun 4, 2024 - Python
Utility package used across Ubermag.
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
Functional companion to Kotlin's Compiler
Boxing primitive types in C++
A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
Typesafe bindings for ⭐ Spark.NET
programming language type systems implemented in Rust
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
A set of Zig-inspired macros for type-based error handling in C
Yet Another Language is a pure functional language written in Haskell
📘 | Simple type system repl the paper Typing Haskell in Haskell
👾 Sokoban Game in Pure TypeScript Type System
Example app using Starlette, Typesystem, and Databases
An implementation of Linear Lambda Calculus.
Add a description, image, and links to the typesystem topic page so that developers can more easily learn about it.
To associate your repository with the typesystem topic, visit your repo's landing page and select "manage topics."