typesystem
There are 34 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
veera-sivarajan/type-inferencer
hindley-milner algorithm
arrow-kt/arrow-meta-examples
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
TypeFox/typir
Typir is an open source library for type checking in the web
contour-terminal/boxed-cpp
Boxing primitive types in C++
na0214/linear-lambda-calculus
An implementation of Linear Lambda Calculus.
doodzik/rubysierung
Rubysierung is the type system Ruby deserves
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
julian-klode/lingolang
WIP (very WIP): Linear Typing for Go (master's thesis)
aripiprazole/lisy
📘 | Simple type system repl the paper Typing Haskell in Haskell
hesham-cant-fly/lune-lang
Lune is a super set of Lua with an actual type system for type safe applications.
WimJongeneel/fs-functional-lang-interpreter
Functional programming language with a powerfull typesystem
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
Lking03x/zig_annotation_system_design
public notes on an "annotation system" for the Zig programming language.
mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
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
SatyendraBanjare/Type-Theory-notes
Report on advancements in Type Theory and application of Program Verification
LoPalma/juno-lang
Juno: a *very* strongly typed, interpreted language that targets the JVM.
RamblingMadMan/ilang-types
Infinity Lang Type System Implementation
topnessman/immutability-example
A repository to store examples that helps developing object immutability type system