Pinned Repositories
goodwe-sems-home-assistant
Sensor for Home Assistant pulling data from the GoodWe SEMS API for solar panel production metrics.
implicits-inspected-and-explained-slides
Presentation for ScalaDays 2016
isolation-check
LoCA
Runtime used in the evaluation of our paper: Static local coordination avoidance for distributed objects
scala-java-maven-code
Code for use in my presentation:
sonar-scalastyle
SonarQube plugin for ScalaStyle
TimSoethout.github.io
transform-xml-maven-plugin
Maven plugin to transform some XML files during the build process
TimSoethout's Repositories
TimSoethout/goodwe-sems-home-assistant
Sensor for Home Assistant pulling data from the GoodWe SEMS API for solar panel production metrics.
TimSoethout/implicits-inspected-and-explained-slides
Presentation for ScalaDays 2016
TimSoethout/scala-java-maven-code
Code for use in my presentation:
TimSoethout/isolation-check
TimSoethout/LoCA
Runtime used in the evaluation of our paper: Static local coordination avoidance for distributed objects
TimSoethout/sonar-scalastyle
SonarQube plugin for ScalaStyle
TimSoethout/TimSoethout.github.io
TimSoethout/acmart
ACM consolidated LaTeX styles
TimSoethout/adlar-tuya-specs
TimSoethout/akka-kryo-serialization
Kryo-based serialization for Akka
TimSoethout/api-directory-finch-try-out
TimSoethout/cbc-artifacts
TimSoethout/Examples
A collection of TLA⁺ specifications of varying complexities
TimSoethout/flexweb-foto-downloader
Downloads fotos from flexWEB Mijn kind en co website
TimSoethout/gcloudrig
Scripts to manage cloud gaming on Google Compute Engine.
TimSoethout/ha-nefit
Home Assistant Nefit climate component
TimSoethout/home-assistant
:house_with_garden: Open source home automation that puts local control and privacy first
TimSoethout/loca-lib
A small library showcasing the Local-Coordination Avoidance library, which reduces contention for distributed transactions.
TimSoethout/py-spy
Sampling profiler for Python programs
TimSoethout/rascal
The core interpreter of the Rascal meta-programming language
TimSoethout/rebel-runtime-lib
TimSoethout/sbt-ecr
An SBT plugin for managing Docker images within Amazon ECR.
TimSoethout/sbt-jmh
"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)
TimSoethout/scala-java-maven-slides
Slidedeck: Introducing Scala in your existing Java project
TimSoethout/scala-lambda
tryout of AWS Lambda using Scala
TimSoethout/scala-sonarqube-docker
TimSoethout/smtlib2
Syntax, IDE and execution of SMT-LIB (v2.5)
TimSoethout/sonar-scoverage-plugin
Sonar plugin for Scala statement coverage tool
TimSoethout/tla-ci
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).
TimSoethout/tlaplus_jupyter
Jupyter kernel for TLA⁺