manud99's repositories
cms
Craft is a flexible, user-friendly CMS for creating custom digital experiences on the web and beyond.
code-expert-themes
Add various themes to Code Expert a tool used at ETH Zurich.
commerce
Fully integrated ecommerce for Craft CMS.
compiler-design-additional-materials
Additional materials for debugging and running tests for the course Compiler Design at ETH Zurich
contrast-ratio
Gnome extension that captures colors and calculates contrast ratio
input-range-scss
Styling Cross-Browser Compatible Range Inputs with Sass
MailHog
Web and API based SMTP testing
pimcore
Open Source Digital Experience Platform (DXP, MDM/PIM, CDP, DAM, CMS/UX & eCommerce
timy
Effortlessly master your time with Timy ⏱️ – the sleek Single-Page Application (SPA) designed for seamless activity tracking. Run Timy ⏱️ directly on your device to monitor tasks, while harnessing cloud integration for multi-device access. Timy ⏱️: compact, responsive, and tailored for your individual productivity.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
tutorial
This repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.