Virtlink
I have a passion for programming, electronics, and domotica. My favorite languages are Kotlin, Rust, and C#.
TU DelftDelft, The Netherlands
Pinned Repositories
commons-configuration2-jackson
Add support for FasterXML's Jackson to Apache Commons Configuration 2.
paplj-xtext
The PAPLJ language written in Xtext
redgreen-aterms
An ATerms library that uses red-green trees.
rust-lpsolve
A Rust wrapper for the lpsolve library
Virtlink's Repositories
Virtlink/commons-configuration2-jackson
Add support for FasterXML's Jackson to Apache Commons Configuration 2.
Virtlink/ccbench
Code Completion Benchmark
Virtlink/ccbench-chocopy
Virtlink/ccbench-tiger
Tiger CC benchmark files
Virtlink/clikt
Multiplatform command line interface parsing for Kotlin
Virtlink/codecompletion-evaluation
Virtlink/disjoint-map
A disjoint-map (Union-Find map) implementation in Kotlin
Virtlink/docker-java
Java Docker API Client
Virtlink/gitonium
Gradle plugin for automatic versioning based on Git branch and tag
Virtlink/go-colonize
Adds semicolons to a Go file according to the specification.
Virtlink/gohla-eclipsegen
Generate Eclipse instances in Python
Virtlink/hoplite
A boilerplate-free library for loading configuration files as data classes in Kotlin
Virtlink/jte
Secure and speedy templates for Java and Kotlin.
Virtlink/katerm
Advanced term library
Virtlink/kode
An easier interface to generate JVM classes and bytecode, written in Kotlin.
Virtlink/kotlin-jvm-template
An opinionated template for Kotlin JVM applications
Virtlink/labback-202208
Virtlink/latex-paper-template
An opinionated template for papers in LaTeX.
Virtlink/mb-util
Utility library for Metaborg
Virtlink/mkdocs-material-template
Template repository for MkDocs Material, with Python CLI and Docker support
Virtlink/obsidian-minimal
Meticulously designed to make Obsidian feel native across platforms. You can customize colors, fonts and more with the companion plugin Minimal Theme Settings.
Virtlink/pip-check-updates
A tool to upgrade dependencies to the latest versions
Virtlink/refret-evaluation
The test cases used for evaluating Reference Retention.
Virtlink/refret-testcase-generator
Generates SPT test cases from Eclipse unit tests for the Reference Retention paper.
Virtlink/sdf2table
Latest sources for the sdf2table binary
Virtlink/spoofax-latex-tools
Collection of tools for writing Latex reports for Spoofax projects
Virtlink/spoofax-pie
Spoofax implementation using PIE pipelines
Virtlink/strdoc
Stratego documentation generator
Virtlink/tego-lang
A strategy language that builds lazy (possibly asynchronous) computations
Virtlink/webdsl-statix