atennapel Goto Github PK

ai-techniques

async-kanren

Async version of uKanren in Typescript

bidirectional.js

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

brainlove

A Brainfuck derivative in JavaScript.

caddy

Fast, cross-platform HTTP/2 web server with automatic HTTPS

cek-machine-js

Some experiments with CEK machines in Javascript

coc-os

"operating system" based on the calculus of constructions

cs4065-project

Demo for the CS4065 project

delim-cont-js

Implementation of delimited continuations in Javascript and Typescript

deplang

Unnamed little dependently typed language

deplang-jvm

Experiments in compiling a dependently typed language to the JVM

docs

Mendix documentation repository

dynamicinstances

Master thesis on dynamic instances for algebraic effects and handlers

effplang

fpis

Exercises from "Functional Programming in Scala"

funclang-jvm

Experiments in compiling a functional language to the JVM

hmf-js

Implementation of "HMF: Simple Type Inference for First-Class Polymorphism" in Javascript

in4355-2015

IN4355 Functional Programming

jvm-adt

Benchmarks in ADT encodings on the JVM

lambda-db

Store untyped lambda calculus expressions in a SQLite database

lsp-testing

Test project to learn LSP

master-thesis-template

Master thesis template for Computer Science at TU Delft

plang

Unnamed typed programming language

poffer

Programming language with a focus on point-free (tacit) programming.

practical-type-inference

Implementation of "practical type inference for arbitrary-rank types" in Javascript

processqueue

This module enables you to control the amount of these microflows that are executed at once by assigning them to queues. Each of these queues can be configured to handle a subset of these microflows and you can also set a limit to the number of microflows each queue can execute at once. This allows you to control the maximum load put on your application during peak usage by these microflows while still ensuring all microflows will be executed eventually. The queues use a FIFO approach (first-in, first-out) and will automatically restart themselves (and any microflows still left to execute) after a server restart.

qtt

implementation of quantitative type theory with an impredicative sort and non-indexed inductive types

qtt-ts

Implementation of Quantitative Type Theory (in TypeScript)

react-native-html-to-pdf

Convert html strings to PDF documents using React Native

react-native-material-kit

Bringing Material Design to React Native