manud99

Pinned Repositories

cms
Craft is a flexible, user-friendly CMS for creating custom digital experiences on the web and beyond.
Language:PHP0 0 00
code-expert-themes
Add various themes to Code Expert a tool used at ETH Zurich.
Language:CSS0 1 00
commerce
Fully integrated ecommerce for Craft CMS.
Language:PHP0 0 00
compiler-design-additional-materials
Additional materials for debugging and running tests for the course Compiler Design at ETH Zurich
0 1 00
contrast-ratio
Gnome extension that captures colors and calculates contrast ratio
Language:JavaScript0 0 00
cssNetworkAnalysis
Language:Python0 0 00
input-range-scss
Styling Cross-Browser Compatible Range Inputs with Sass
Language:CSS0 0 00
MailHog
Web and API based SMTP testing
Language:Go0 0 00
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.
Language:Vue0 1 02

manud99's Repositories

manud99/cms
Craft is a flexible, user-friendly CMS for creating custom digital experiences on the web and beyond.
Language:PHP0 0 00
manud99/code-expert-themes
Add various themes to Code Expert a tool used at ETH Zurich.
Language:CSS0 1 00
manud99/commerce
Fully integrated ecommerce for Craft CMS.
Language:PHP0 0 00
manud99/compiler-design-additional-materials
Additional materials for debugging and running tests for the course Compiler Design at ETH Zurich
0 1 00
manud99/contrast-ratio
Gnome extension that captures colors and calculates contrast ratio
Language:JavaScript0 0 00
manud99/cssNetworkAnalysis
Language:Python0 0 00
manud99/input-range-scss
Styling Cross-Browser Compatible Range Inputs with Sass
Language:CSS0 0 00
manud99/MailHog
Web and API based SMTP testing
Language:Go0 0 00
manud99/pimcore
Open Source Digital Experience Platform (DXP, MDM/PIM, CDP, DAM, CMS/UX & eCommerce
Language:PHP0 0 00
manud99/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.
Language:Vue0 1 02
manud99/parsimonious-learning-augmented-caching
Reproduced experiments from the paper "Parsimonious Learning-Augmented Caching"
Language:Jupyter Notebook
manud99/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Language:Scala0 0
manud99/silver
Definition of the Viper intermediate verification language.
Language:Scala0 0
manud99/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.
0 0
manud99/VVZ_extension
Browser extension for VVZ (ETHZ)