atennapel/tynka

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Scala
Created almost 2 years ago
Updated 11 months ago

atennapel/tynka

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

ts-typelevel-computation

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

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