Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Lars Hupel

larsrh
0 Stars

Decks

Theorems for free! (BOB edition)
larsrh
0
480
Typelevel's path to Scala 3
larsrh
0
270
Verification of Smart Contracts (INNOQ edition)
larsrh
0
460
Theorems for free!
larsrh
1
260
Blockchain Use Cases
larsrh
0
140
Programmation en Clojique
larsrh
2
160
JS, Rust, Python and the Holy Graal
larsrh
3
940
Verification of Smart Contracts
larsrh
0
72
iSAQB goes Blockchain?
larsrh
0
62
How Do I Even Smart Contracts?
larsrh
0
85
Smart Contract Development & Testing mit Ethereum
larsrh
0
62
Das eierlegende Truffleschwein
larsrh
0
650
Lieber ein Typparameter zu viel als einer zu wenig (Herbstcampus)
larsrh
0
660
Lieber ein Typparameter zu viel als einer zu wenig (JUG Ostfalen)
larsrh
0
150
Verified Code Generation from Isabelle/HOL
larsrh
1
160
How to test proper{t,l}y (Scala Matsuri edition)
larsrh
0
1.4k
Lieber ein Typparameter zu viel als einer zu wenig
larsrh
0
170
Ethereum: Smart Contracts & Varianten
larsrh
0
160

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade