atennapel/coc-os

This repository has been archived on 20/Jul/2022
Stars
17
Rank 1,257,181 (Top 25 %)
Language
JavaScript
Created over 5 years ago
Updated over 2 years ago

atennapel/coc-os

atennapel

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

"operating system" based on the calculus of constructions

bidirectional.js

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

tinka-hs

Dependently typed programming language written in Haskell

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

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