typesystem
There are 32 repositories under typesystem topic.
josefs/Gradualizer
A Gradual type system for Erlang
arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
metatypedev/metatype
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
fc01/TypeGame
👾 Sokoban Game in Pure TypeScript Type System
CapsAdmin/NattLua
luajit with a typesystem
arrow-kt/arrow-meta-examples
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
veera-sivarajan/type-inferencer
hindley-milner algorithm
na0214/linear-lambda-calculus
An implementation of Linear Lambda Calculus.
contour-terminal/boxed-cpp
Boxing primitive types in C++
doodzik/rubysierung
Rubysierung is the type system Ruby deserves
TypeFox/typir
Typir is an open source library for type checking in the web
pSub/master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
ubermag/ubermagutil
Utility package used across Ubermag.
bmazzarol/TypedSpark.NET
Typesafe bindings for :star: Spark.NET
aripiprazole/lisy
📘 | Simple type system repl the paper Typing Haskell in Haskell
julian-klode/lingolang
WIP (very WIP): Linear Typing for Go (master's thesis)
WimJongeneel/fs-functional-lang-interpreter
Functional programming language with a powerfull typesystem
ayaskovets/typesystems
programming language type systems implemented in Rust
fortuneglobe/types
Basic type classes wrapping scalar values
JAForbes/never-never
Never Never
jordaneremieff/starlette-typesystem-databases-example
Example app using Starlette, Typesystem, and Databases
mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
SatyendraBanjare/Type-Theory-notes
Report on advancements in Type Theory and application of Program Verification
slamko/zic
A set of Zig-inspired macros for type-based error handling in C
arthurweinmann/tinyveil
A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
christiangroth/generic-typesystem
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.
eloign/YAL
Yet Another Language is a pure functional language written in Haskell
RamblingMadMan/ilang-types
Infinity Lang Type System Implementation
topnessman/immutability-example
A repository to store examples that helps developing object immutability type system