aerabi/lttt-report aerabi/lttt-report

  • Stars
    star
    2
  • Language
    TeX
  • License
    Creative Commons ...
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aerabi/lttt-report
github

aerabi

Reviews

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

Repository Details

Report for "A Basis for Event-Driven Programming" 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

talks

List of my talks
2
star
12

docker-2022

2
star
13

dockerized-twitter-clone

Dockerfile
2
star
14

nodejs-api-starter

Node.js API Starter
TypeScript
2
star
15

lambek

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

aerabi

1
star
17

github-stats

A repo to generate Github user stats
Python
1
star
18

beamer-uni-freiburg

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

survey

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

couscous

British-English-compatible CSS transpiler
1
star
21

100-days-of-git

1
star
22

exercism

My solutions to the Exercism exercises
Go
1
star
23

link-shortener-mean

MEAN Stack Link Shortener
1
star
24

link-shortener-java

Java
1
star
25

git-weekly

List of Git Weekly posts
1
star
26

lttt-typescript

Implementation of linear types and futures based on Linear Temporal Type Theory
TypeScript
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