Alan P John's repositories
next-notion-portfolio
Portfolio cum Blog built with NextJS
AIT-Hostel
college project
esbmc-solidity-action
Github action for security verification of solidity contracts using ESBMC-solidity
faasd-extended
Extending faasd - A lightweight & portable faas engine
FootballTransfers
Football transfers analytics
SignLanguageWebApp
Application to convert hand signs to words
unikernel-faas-python-workloads
A python template for a FaaS Unikraft image
serverless-benchmarks
SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
adominitio
A google keep alternative built with angular and firebase
AutoPPT
using web scraping to make a ppt on any topic.
docker-lambda
Docker images and test runners that replicate the live AWS Lambda environment
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
faas
OpenFaaS - Serverless Functions Made Simple
faas-netes
Serverless Functions For Kubernetes
FlaskAPIDocker
Flask API package skeleton ideal for microservices using docker
kraftkit
Build and use highly customized and ultra-lightweight unikernel VMs.
maven-with-jenkins-test
Testing jenkin operations on maven projects
minio-py
MinIO Client SDK for Python
my-docker-spark
A variation for big data europe's docker-spark for python based ml applications
PokemonShowdownBot
AI assistant\bot for pokemon showdown by smogon
PythonPackageSkeleton
A template repo to act as skeleton for any python package
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
unikraft-functions
Serverless function unikernels built with unikraft