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