Discover @atennapel Open Source projects

Albert ten Napel (@atennapel)

atennapel

Stars
185
Global Rank 130,901 (Top 5 %)
Followers 41
Following 31
Registered almost 13 years ago
Most used languages

JavaScript
65.0 %

TypeScript
15.0 %

Scala
15.0 %

Haskell
5.0 %
Location 🇳🇱 Netherlands
Country Total Rank 2,287
Country Ranking

Haskell
54

Scala
132

JavaScript
467

TypeScript
726

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

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