atennapel/plang

Stars
2
Language
JavaScript
Created almost 8 years ago
Updated over 5 years ago

atennapel/plang

atennapel

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

Unnamed typed programming language

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

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

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