atennapel/bidirectional.js atennapel/bidirectional.js

  • Stars
    star
    76
  • Rank 420,374 (Top 9 %)
  • Language
    JavaScript
  • Created over 7 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
atennapel/bidirectional.js
github

atennapel

Reviews

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

Repository Details

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

More Repositories

1

tinka-hs

Dependently typed programming language written in Haskell
Haskell
22
star
2

coc-os

"operating system" based on the calculus of constructions
JavaScript
17
star
3

ts-typelevel-computation

TypeScript
13
star
4

qtt-ts

Implementation of Quantitative Type Theory (in TypeScript)
JavaScript
11
star
5

TwitchBot

A Node.JS module to help in creating Twitch and IRC bots.
JavaScript
9
star
6

practical-type-inference

Implementation of "practical type inference for arbitrary-rank types" in Javascript
JavaScript
9
star
7

tynka

Scala
4
star
8

tinka

JavaScript
4
star
9

systemf-scala

Implementation of type inference for System F
Scala
4
star
10

Wortel

Programming language that compiles to Javascript (altjs)
JavaScript
4
star
11

hmf-js

Implementation of "HMF: Simple Type Inference for First-Class Polymorphism" in Javascript
JavaScript
2
star
12

delim-cont-js

Implementation of delimited continuations in Javascript and Typescript
TypeScript
2
star
13

plang

Unnamed typed programming language
JavaScript
2
star
14

simple-plang

JavaScript
1
star
15

lambda-db

Store untyped lambda calculus expressions in a SQLite database
JavaScript
1
star
16

system-f-omega-type-inference

An attempt at type inference for System F-omega
TypeScript
1
star
17

async-kanren

Async version of uKanren in Typescript
JavaScript
1
star
18

tinka-scala

Dependently typed programming language implemented in Scala 3
Scala
1
star
19

deplang

Unnamed little dependently typed language
JavaScript
1
star