aerabi
Docker Captain, Snyk Ambassador, Software Engineer ⊨ Containers Security, Kubernetes, TypeScript
@JobRad-GmbHFreiburg im Breisgau, DE
Pinned Repositories
aerabi.github.io
GitHub-hosted homepage
events
A MEAN app that store events happening around
express-ts-swagger-docker
Express.js Backend with TypeScript, Swagger UI, and Docker Compose
hackdockerfest
Docker best practices created by the community
hacktoberfest-cv
Living CV built with LaTeX, GitHub Actions, and Overleaf
link-shortener
link-shortener-js
Link Shortener with Nest.js, Redis, Docker Compose, and Helm
markdown-cheatsheet
GitHub Flavored Markdown Cheatsheet
generic-environments
Coq library that provides an abstract data type for environments [maintainer=@aerabi]
rxjsx
RxJS Extension
aerabi's Repositories
aerabi/lttt-report
Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
aerabi/30langs
30 Days of Programming Languages
aerabi/beamer-uni-freiburg
Albert-Ludwigs-Universität Freiburg Beamer Theme
aerabi/lambek
Study of Pregroup Grammar and its Application to Machine Translation
aerabi/llc
Linear Lambda Calculus
aerabi/lttt
"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
aerabi/lttt-typescript
Implementation of linear types and futures based on Linear Temporal Type Theory
aerabi/skala
Simple Extensions for Scala
aerabi/timeline-cv
Timeline CV
aerabi/wordworks
Ontology Translation, Visualization, etc.
aerabi/appointment
Appointment Slot Finder
aerabi/daily-whats-up
Daily What's Up — Remote daily stand-up mood detector
aerabi/functors-expressible-polymorphic
On Functors Expressible in the Polymorphic Typed Lambda Calculus
aerabi/heartbeat-poster
A Linear Temporal Logic with Heartbeat
aerabi/jfrog-docker-repo-simple-example
Getting started with JFrog Docker Repos - Example
aerabi/LibreLingo
🐢 🌎 📚 a community-owned language-learning platform
aerabi/lttt-presentation
LTTT Presentation
aerabi/mlh-hackathon-nodejs-starter
Hackathon starter project for Node.js applications
aerabi/mllab
aerabi/msc-thesis
aerabi/nodejs-vanilla-server-sample
Node.js Vanilla Server Sample
aerabi/oktoberfest-cv
Oktoberfest CV — The CV I created in Oktoberfest 2017
aerabi/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
aerabi/persian-modern-font
aerabi/request
Simple RxJS-based HTTP client
aerabi/swagger-codegen-cd
Swagger-Codegen Docker image for CD pipeline
aerabi/typingdna-angular-sample
aerabi/typingdna-recorder
aerabi/uplcg
Untitled PL Card Game
aerabi/wordnet
Persian WordNet Visualization Module