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

Reviews

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

Repository Details

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

More Repositories

1

hacktoberfest-cv

Living CV built with LaTeX, GitHub Actions, and Overleaf
TeX
9
star
2

link-shortener-js

Link Shortener with Nest.js, Redis, Docker Compose, and Helm
TypeScript
8
star
3

markdown-cheatsheet

GitHub Flavored Markdown Cheatsheet
7
star
4

link-shortener

Python
5
star
5

express-ts-swagger-docker

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

events

A MEAN app that store events happening around
TypeScript
3
star
7

hackdockerfest

Docker best practices created by the community
Dockerfile
3
star
8

aerabi.github.io

GitHub-hosted homepage
HTML
3
star
9

rxjs-pipe-ext

RxJS pipe extensions
TypeScript
3
star
10

git-weekly-docker-extension

A Docker extension that lists all the Git Weekly issues
Dockerfile
3
star
11

lttt-report

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
TeX
2
star
12

talks

List of my talks
2
star
13

docker-2022

2
star
14

dockerized-twitter-clone

Dockerfile
2
star
15

nodejs-api-starter

Node.js API Starter
TypeScript
2
star
16

lambek

Study of Pregroup Grammar and its Application to Machine Translation
TeX
1
star
17

aerabi

1
star
18

github-stats

A repo to generate Github user stats
Python
1
star
19

beamer-uni-freiburg

Albert-Ludwigs-Universität Freiburg Beamer Theme
TeX
1
star
20

survey

A Node.js API for creating yes/no surveys
TypeScript
1
star
21

couscous

British-English-compatible CSS transpiler
1
star
22

100-days-of-git

1
star
23

exercism

My solutions to the Exercism exercises
Go
1
star
24

link-shortener-mean

MEAN Stack Link Shortener
1
star
25

link-shortener-java

Java
1
star
26

git-weekly

List of Git Weekly posts
1
star
27

npm-utils

1
star
28

wordworks

Ontology Translation, Visualization, etc.
Java
1
star
29

aerabi-angular

Aerabi.com Angular Website
TypeScript
1
star
30

aerabi-k8s

TypeScript
1
star
31

uhlmann

Web Project for Uhlmann Solarelectronic GmbH
Python
1
star
32

lttt

"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
Coq
1
star
33

30langs

30 Days of Programming Languages
Haskell
1
star
34

skala

Simple Extensions for Scala
Scala
1
star
35

docker-desktop-extension-zero

Dockerfile
1
star
36

timeline-cv

Timeline CV
TeX
1
star