aerabi/lttt-typescript

Stars
1
Language
TypeScript
License
MIT License
Created over 3 years ago
Updated over 3 years ago

aerabi/lttt-typescript

aerabi

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

Implementation of linear types and futures based on Linear Temporal Type Theory

hacktoberfest-cv

Living CV built with LaTeX, GitHub Actions, and Overleaf

link-shortener-js

Link Shortener with Nest.js, Redis, Docker Compose, and Helm

markdown-cheatsheet

GitHub Flavored Markdown Cheatsheet

link-shortener

express-ts-swagger-docker

Express.js Backend with TypeScript, Swagger UI, and Docker Compose

events

A MEAN app that store events happening around

hackdockerfest

Docker best practices created by the community

aerabi.github.io

GitHub-hosted homepage

rxjs-pipe-ext

RxJS pipe extensions

git-weekly-docker-extension

A Docker extension that lists all the Git Weekly issues

lttt-report

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

talks

List of my talks

docker-2022

dockerized-twitter-clone

nodejs-api-starter

Node.js API Starter

lambek

Study of Pregroup Grammar and its Application to Machine Translation

aerabi

github-stats

A repo to generate Github user stats

beamer-uni-freiburg

Albert-Ludwigs-Universität Freiburg Beamer Theme

survey

A Node.js API for creating yes/no surveys

couscous

British-English-compatible CSS transpiler

100-days-of-git

exercism

My solutions to the Exercism exercises

link-shortener-mean

MEAN Stack Link Shortener

link-shortener-java

git-weekly

List of Git Weekly posts

npm-utils

wordworks

Ontology Translation, Visualization, etc.

aerabi-angular

Aerabi.com Angular Website

aerabi-k8s

uhlmann

Web Project for Uhlmann Solarelectronic GmbH

lttt

"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

30langs

30 Days of Programming Languages

skala

Simple Extensions for Scala

docker-desktop-extension-zero

timeline-cv