8 results found Sort:
- Filter by Primary Language:
- Kotlin (2)
- Rust (2)
- TypeScript (2)
- Erlang (1)
- Lua (1)
- +
A Gradual type system for Erlang
Created
2017-10-29
1,682 commits to master branch, last one 6 months ago
Functional companion to Kotlin's Compiler
Created
2019-10-24
668 commits to main branch, last one about a year ago
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
Created
2022-06-05
1,192 commits to main branch, last one 7 days ago
👾 Sokoban Game in Pure TypeScript Type System
Created
2021-09-09
5 commits to master branch, last one 3 years ago
luajit with a typesystem
Created
2019-06-17
2,710 commits to master branch, last one a day ago
hindley-milner algorithm
Created
2023-01-17
53 commits to main branch, last one about a year ago
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
This repository has been archived
(exclude archived)
Created
2019-11-07
66 commits to main branch, last one 2 years ago
Typir is an open source library for type checking in the web
Created
2023-03-08
45 commits to main branch, last one 3 days ago