7 results found Sort:

josefs
Gradualizer josefs
35
613
mit
21
A Gradual type system for Erlang
erlang typesystem type-system
Created 2017-10-29
1,682 commits to master branch, last one 2 months ago
arrow-kt
arrow-meta arrow-kt
43
397
apache-2.0
21
Functional companion to Kotlin's Compiler
ide code meta kotlin linter macros generics quasiquote typesystem union-type typeclasses codegeneration tree-structure compiler-plugin intellij-plugin kotlin-compiler metaprogramming higher-kinded-types kotlin-multiplatform template-metaprogramming
Created 2019-10-24
668 commits to main branch, last one 8 months ago
metatypedev
metatype metatypedev
13
378
mpl-2.0
10
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
api meta rest wasm types policy gateway graphql runtime serverless typesystem composition materializer backend-for-frontend
Created 2022-06-05
1,153 commits to main branch, last one 5 days ago
fc01
TypeGame fc01
2
278
unknown
3
👾 Sokoban Game in Pure TypeScript Type System
type vscode sokoban unicode ascii-game typescript typesystem compiletime type-system typescript4 sokoban-game string-literals type-gymnastics visual-studio-code template-literal-types
Created 2021-09-09
5 commits to master branch, last one 3 years ago
CapsAdmin
NattLua CapsAdmin
3
95
unknown
7
luajit with a typesystem
lua luajit analyzer typesystem
Created 2019-06-17
2,642 commits to master branch, last one 14 days ago
arrow-kt
arrow-meta-examples arrow-kt
20
58
apache-2.0
8
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
ide code meta kotlin linter macros generics quasiquote typesystem union-type typeclasses codegeneration tree-structure compiler-plugin intellij-plugin kotlin-compiler metaprogramming higher-kinded-types kotlin-multiplatform template-metaprogramming
This repository has been archived (exclude archived)
Created 2019-11-07
66 commits to main branch, last one 2 years ago
veera-sivarajan
type-inferencer veera-sivarajan
1
54
unknown
2
hindley-milner algorithm
rust typesystem hindley-milner
Created 2023-01-17
53 commits to main branch, last one about a year ago