Fusing automated UI testing with scripts (property-based testing) for effectively fuzzing Android apps

The official Python library for the OpenAI API

[NeurIPS 24] IaC-Eval: A Code Generation Benchmark for Cloud Infrastructure-as-Code programs

A high-throughput and memory-efficient inference and serving engine for LLMs

Docker in Docker

DPHPC project on Polybench parallelization, HS2024.

A development environment based on Blockly and Microsoft MakeCode where users can easily construct data processing pipelines by visually plugging together processing blocks. The pipeline will be im…

Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems

A data collection workflow using Amadeus API

Summaries and study materials I've written over the course of my studies at ETH Zurich

Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science

Lecture notes and cheatsheets for Master's in Computer Science at ETH Zurich

Property-based Testing for Mobile GUI Apps

summaries of courses taken at ETH

Code for forum to review courses at ETH

Artifact of the OOPSLA'24 paper titled: "When you Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems".

Mobile App Analysis and Testing Literature

A curated list of awesome security resources for ZK.

Static Python call graph generator

Convert Markdown to a Pretty PDF :D

Puppet Labs Standard Library module

Collection of Summer 2026 tech internships!

Collection of Summer 2026 tech internships!

Artifact of the paper accepted at FSE'24 titled: "Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis".

Template for writing a thesis

Howdy!

DeepDiff: Deep Difference and search of any Python object/data. DeepHash: Hash of any object based on its contents. Delta: Use deltas to reconstruct objects by adding deltas together.