A handful of other projects I've built — mostly interactive, all hosted at bergerzvika.github.io.
Interactive course materials on automated reasoning — SAT/SMT solvers, decision procedures, and proof generation, with step-by-step walkthroughs.
Interactive AI playground — tutorials and visualizations covering Markov Decision Processes, search, and classic algorithms, animated step by step.
Hands-on cyber-security playground — practical demos of common attack patterns and the defenses that stop them.
Course companion site — a JavaScript live-IDE and an HTML lab with a side-by-side preview, plus walk-through lessons across 15 topic folders.
My M.Sc. thesis work — a visual playground for Parametric Bit-Vectors (PBV). Watch bit-width parameters propagate through SMT operations and rewrite rules in real time, and see how the underlying decision procedure reasons about them.
Interactive visualization lab for the Nurse Scheduling Problem — explore constraints, shift assignments, and how solvers build a feasible roster step by step.
Live counters shared across all visitors — global tool opens, source downloads, and "More of my work" clicks.
Online IDEs · Command Builders · Generators · Converters · Encoders & Decoders · Text Utilities · Testers & Viewers · Formatters · CSS Visual Tools · Colors · Bits & Bytes · Dev Utilities.
Crafted by Zvika Berger
Want a new tool, a new feature, or hit something that doesn't work? Reach out anytime at zvbe10@gmail.com — I'd love to hear from you.
Category