atennapel/ts-typelevel-computation

Stars
13
Rank 1,512,713 (Top 30 %)
Language
TypeScript
Created about 6 years ago
Updated about 6 years ago

atennapel/ts-typelevel-computation

atennapel

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

bidirectional.js

Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

tinka-hs

Dependently typed programming language written in Haskell

coc-os

"operating system" based on the calculus of constructions

qtt-ts

Implementation of Quantitative Type Theory (in TypeScript)

TwitchBot

A Node.JS module to help in creating Twitch and IRC bots.

practical-type-inference

Implementation of "practical type inference for arbitrary-rank types" in Javascript

tynka

tinka

systemf-scala

Implementation of type inference for System F

Wortel

Programming language that compiles to Javascript (altjs)

hmf-js

Implementation of "HMF: Simple Type Inference for First-Class Polymorphism" in Javascript

delim-cont-js

Implementation of delimited continuations in Javascript and Typescript

plang

Unnamed typed programming language

simple-plang

lambda-db

Store untyped lambda calculus expressions in a SQLite database

system-f-omega-type-inference

An attempt at type inference for System F-omega

async-kanren

Async version of uKanren in Typescript

tinka-scala

Dependently typed programming language implemented in Scala 3

deplang

Unnamed little dependently typed language