Giters
Tim Soethout (TimSoethout)

TimSoethout

Geek Repo

36

followers

12

following

76

stars

Company:@ing-bank

Location:Netherlands

Home Page:http://blog.timmybankers.nl

Github PK Tool:Github PK Tool

Organizations
cwi-nl
cwi-swat
ing-bank
scala-academy
typesafe-training

Tim Soethout's repositories

goodwe-sems-home-assistant

Sensor for Home Assistant pulling data from the GoodWe SEMS API for solar panel production metrics.

Language:PythonStargazers:82Issues:11Issues:87

implicits-inspected-and-explained-slides

Presentation for ScalaDays 2016

Language:CSSStargazers:2Issues:2Issues:0

scala-java-maven-code

Code for use in my presentation:

Language:ScalaStargazers:2Issues:0Issues:0

isolation-check

Language:Jupyter NotebookStargazers:1Issues:2Issues:0

LoCA

Runtime used in the evaluation of our paper: Static local coordination avoidance for distributed objects

Language:ScalaStargazers:1Issues:2Issues:0

sonar-scalastyle

SonarQube plugin for ScalaStyle

Language:ScalaLicense:LGPL-3.0Stargazers:1Issues:3Issues:0

TimSoethout.github.io

Language:CSSStargazers:1Issues:2Issues:0

transform-xml-maven-plugin

Maven plugin to transform some XML files during the build process

Language:ScalaStargazers:1Issues:2Issues:0

acmart

ACM consolidated LaTeX styles

Language:TeXStargazers:0Issues:2Issues:0

akka-kryo-serialization

Kryo-based serialization for Akka

Language:ScalaStargazers:0Issues:2Issues:0

api-directory-finch-try-out

Language:ScalaStargazers:0Issues:2Issues:0

cbc-artifacts

Language:RascalStargazers:0Issues:1Issues:0

Examples

A collection of TLA⁺ specifications of varying complexities

License:NOASSERTIONStargazers:0Issues:0Issues:0

flexweb-foto-downloader

Downloads fotos from flexWEB Mijn kind en co website

Language:ShellStargazers:0Issues:1Issues:0

gcloudrig

Scripts to manage cloud gaming on Google Compute Engine.

Language:PowerShellLicense:MITStargazers:0Issues:1Issues:0

ha-nefit

Home Assistant Nefit climate component

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

home-assistant

:house_with_garden: Open source home automation that puts local control and privacy first

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

loca-lib

A small library showcasing the Local-Coordination Avoidance library, which reduces contention for distributed transactions.

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

PropertyBasedTestingScalaCheck

Slides and example code about property based testing

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

rascal

The core interpreter of the Rascal meta-programming language

Language:JavaStargazers:0Issues:2Issues:0

rebel-runtime-lib

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

sbt-ecr

An SBT plugin for managing Docker images within Amazon ECR.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

sbt-jmh

"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)

Language:ScalaStargazers:0Issues:2Issues:0

scala-java-maven-slides

Slidedeck: Introducing Scala in your existing Java project

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

scala-lambda

tryout of AWS Lambda using Scala

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

scala-sonarqube-docker

Language:ShellStargazers:0Issues:2Issues:0

smtlib2

Syntax, IDE and execution of SMT-LIB (v2.5)

Language:SMTStargazers:0Issues:2Issues:0

sonar-scoverage-plugin

Sonar plugin for Scala statement coverage tool

Language:ScalaLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

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).

Language:TLALicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

tlaplus_jupyter

Jupyter kernel for TLA⁺

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0