Software engineer, PhD ETH Zürich. This is a text version of oli.show, which renders the same content as an interactive scene.
MCP that allows agentic interaction with the Lean theorem prover using leanclient.
Lean4 · Python · LLM
VSCode extension for rendering and running context-rich Lean 4 prompts using state-of-the-art LLMs.
VSCode Extension · Lean4 · TypeScript
Python client to interact with the lean4 language server.
Lean4 · Python
Automatic level of details for 3D models.
Implementation in Python based on Unreal Engine's LOD system.
Python · Scipy et al. · Rendering
Visualizing the proof structure in Lean and Mathlib.
Svelte · Lean4 · sigma.js
Explore 31k+ wineries in this interactive map.
Find your next wine tasting destination!
Checkout the github repository.
TypeScript · Browser · Data Science
We move together
We groove together
Proof of Groove is an NFT, generated using a fully decentralized synthesizer.
Music · WebAssembly · Solidity · React
Sustainable Shopping with Scrapsters
Winning project for the HackZurich 2023 Migros challenge!
Upcycling · Vue.js · Flask · LLM
Solar system 3D portfolio page.
Let me know if you find any bugs ;-)
TypeScript · Three.js
A small AR experiment of a spider living in a box behind your screen.
Maybe I'll turn it into a scary tamagotchi one day.
Unity · AR Core · Android · csharp
Develop startup ideas. Easy. Together.
CoCrafty is a collaboration platform for developing startup ideas.
Flask · JavaScript · Cloud · Socket.io
Majority rules, period!
Collaborative drawing board. You decide where the line goes next!
Flask · JavaScript · Socket.io
Math, Inc. builds AI systems for machine-checked mathematics.
As a Founding Research Engineer I worked on large-scale autoformalization in Lean 4.
Lean4 · LLM · Python
The next step in asset management.
Human Edge provides systematic investment solutions.
Scipy et al. · Machine Learning · Cloud
I lecture multiple courses at the Fernfachhochschule Schweiz, a university of applied sciences.
My focus is on applications of large language models, blockchain technology and software development in general.
LLM · Blockchain · Solidity
Ardeo is providing cutting edge shift planning solutions.
I support them as a freelancer with software development and technical decisions.
Angular · Ruby · Clojure · Machine Learning
Go on a hike and experience an interactive adventure with Winnie and Tack.
Listen to the audio book and make your own decisions.
Unity · Android · ios · csharp
Strengthening digital opinion-forming with simulations.
Developed with Dezentrum and the Risk Dialogue Foundation.
Flask · Vue.js · Socket.io · Cloud
I completed my PhD in Chemical Engineering at the ETH Zurich.
My research focused microfluidic technology and how to control it using machine learning.
Microfluidics · Machine Learning · Python
A selection of publications written during my PhD:
Microfluidics · Machine Learning · Python
Casually roll balls towards enemies. Pick the correct position to eliminate all targets.
Unlock specials to increase your chances!
Godot · Android · HTML5
Do you feel like having a tea? Then this is the game for you.
Just keep on brewing!
Our try at an incremental game.
JavaScript · Browser
Manage a small airport with your friends. Help passengers reach their destination.
This real-time, multiplayer game requires a lot of teamwork!
Godot · Cloud · Android
Multiplayer chess on a map!
Proof of concept for a single player
(+ bots) version of the game.
Python · Scipy et al.
Think of a movie.
I will guess your movie based on emojis.
LLM · TypeScript · Browser
Fly your rocket kite among the planets.
Use gravity and collect all checkpoints.
Python · Kivy · Android
Find the connection between two random articles on wikipedia. Keep moving forwards.
There are quite a few surprising links.
JavaScript · Browser
Build a tower of clouds and reach new heights in this small game.
First Godot game published on Android.
Godot · Android
A short game about a hungry vampire with water color art.
Drink enough blood to survive 2 years.
Don't kill the parents.
Painting · JavaScript · Browser
Keep your rabbits save by whistling. Just chill and whistle...
Developed for a game jam using Godot.
Godot · HTML5 · Ableton Live
A collection of over 50 short soundtracks for games, audio books and animations.
Composed and rendered using Ableton Live.
Free download available on freesound.org.
Music · Ableton Live
We move together
We groove together
Proof of Groove is an NFT, generated using a fully decentralized synthesizer.
The Graph · WebAssembly · Solidity · React
For many years we have developed our unique blend of instrumental progressive rock.
Unfortunately this band is no longer active but you can still listen to our music for free on Soundcloud.
In this live recording I was playing synth and was involved with composition and 'mastering'.
Synth · Ableton Live · Drums
Hi, I am Oliver Dressler.
Software engineer with a PhD from ETH Zürich. I build systems where software meets hard problems: AI for machine-checked mathematics in Lean 4, quantitative investment platforms and automated scientific instruments.
Located in Switzerland.
Check out my current work.
Solar system 3D portfolio page.
Let me know if you find any bugs ;-)
TypeScript · Three.js
Do you have any interesting input?
Feel free to contact me via email at:
hey@oli.show