7 results found Sort:

josefs
Gradualizer josefs
35
610
mit
21
A Gradual type system for Erlang
erlang typesystem type-system
Created 2017-10-29
1,662 commits to master branch, last one 29 days ago
arrow-kt
arrow-meta arrow-kt
41
392
apache-2.0
22
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 3 months ago
metatypedev
metatype metatypedev
9
344
other
9
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,048 commits to main branch, last one 22 hours ago
fc01
TypeGame fc01
2
275
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 2 years ago
CapsAdmin
NattLua CapsAdmin
3
78
unknown
7
luajit with a typesystem
lua luajit analyzer typesystem
Created 2019-06-17
2,374 commits to master branch, last one 10 hours ago
arrow-kt
arrow-meta-examples arrow-kt
20
58
apache-2.0
9
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 about a year ago
veera-sivarajan
type-inferencer veera-sivarajan
1
51
unknown
2
hindley-milner algorithm
rust typesystem hindley-milner
Created 2023-01-17
53 commits to main branch, last one about a year ago