Tommaso Previero's repositories
lambda-y-presentation
A presentation on Y combinator in λ-calculus
croccodilli.com
Croccodilli! :crocodile:
docker-build-debugger
A tool to debug the build of docker images
docs
The open-source repo for docs.github.com
dojo-starter-ml
A starter for a coding dojo written in Standard ML
gitlab-ci-validate
command line tool to validate .gitlab-ci.yml files
google_home_automations
Project to generate Google Home automations
gradle-plugin
Jenkins gradle plugin
indahouse-google-home
YAML representations of my Google Home automations
java-design-patterns
Design patterns implemented in Java
KIO
A simple, lightweight IO monad implementation for Kotlin with effect rotation
kotlin-arrow-playground
A playground to understand how arrow works
lambda-calculus-evaluator
A suite to evaluate and operate on λ-calculus expressions
lua-game-playground
A simple game made with LÖVE to learn lua
openwhisk
Apache OpenWhisk is an open source serverless cloud platform
spid-spring
SPID extension for Java Spring
terraform-module-registry-github
Lightweight Terraform module Registry proxying GitHub written in Python
terraform-provider-github
Terraform GitHub provider
terraform-provider-google-home-automations
Terraform provider for Google Home Automations