Here are
32 public repositories
matching this topic...
This project allowes to programatically define, use and validate a generic typesystem consisting of types, attributes and items. Furthermore there a some services which may be customized to your own project needs.
Updated
Oct 12, 2018
Java
Updated
Feb 7, 2020
Racket
Infinity Lang Type System Implementation
Report on advancements in Type Theory and application of Program Verification
Updated
Jan 19, 2020
Rust
Yet Another Language is a pure functional language written in Haskell
Updated
Jun 17, 2022
Haskell
A repository to store examples that helps developing object immutability type system
A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
Updated
Jan 20, 2024
JavaScript
Updated
Jun 12, 2017
JavaScript
Short program to illustrate the use of polymorphic variant in OCaml
Updated
Feb 23, 2017
OCaml
Example app using Starlette, Typesystem, and Databases
Updated
Jun 13, 2020
Python
A set of Zig-inspired macros for type-based error handling in C
programming language type systems implemented in Rust
Basic type classes wrapping scalar values
📘 | Simple type system repl the paper Typing Haskell in Haskell
Updated
Mar 29, 2022
Haskell
Functional programming language with a powerfull typesystem
WIP (very WIP): Linear Typing for Go (master's thesis)
Typir is a library for building type systems
Updated
May 14, 2024
TypeScript
Typesafe bindings for ⭐ Spark.NET
Improve this page
Add a description, image, and links to the
typesystem
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
typesystem
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.