WebPKI-level Certificate Revocation via Multi-Level Bloom Filter Cascade

Lizard is the visual verification debugger for Viper IDE

Exercises for the Big Data lecture at ETH Zurich (Fall 2021)

A set of exercises to prepare for Certified Kubernetes Application Developer exam by Cloud Native Computing Foundation

Extension for Visual Studio Code - Intellisense in helm-templates from the values.yaml

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

A massively parallel, optimal functional runtime in Rust

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

A DAP-compatible JavaScript debugger. Used in VS Code, VS, + more

View deoptimizations of your JavaScript in V8

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

An extension for VS Code that visualizes data during debugging.

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Visual Studio Code

The Ott tool for writing definitions of programming languages and calculi

Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016

Page of the course "Competitive Programming and Contests" at Department of Computer Science, University of Pisa

Master programming by recreating your favorite technologies from scratch.

Rust mid-level IR Abstract Interpreter

High-level notes about TypeScript

Koka language compiler and interpreter

A collection of resources for learning type theory and type theory adjacent fields.

AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

Programming Languages Zoo

A complete computer science study plan to become a software engineer.

Applied Functional Programming Course - Move from exercises to a working app!

Learn Haskell

A collection of (mostly) technical things every software developer should know about