Drodt

I am a PhD student at TU Darmstadt

Darmstadt, Hesse, Germany

Pinned Repositories

polylux
A package for creating slides in Typst
Language:Julia1.1k 9 11450
clever-quotes
Language:Typst00
kalkulierbar
Learning Framework for Logic Calculi
Language:TypeScript00
key
KeY Theorem Prover for Deductive Java Verification
Language:Java00
key-docs
Documentation for the KeY Theorem Prover
Language:TeX00
polylux
A package for creating slides in Typst
Language:Julia00
rml
Language:Rust00
key
KeY Theorem Prover for Deductive Java Verification
Language:Java41 4 3.1k24
hayagriva
Rusty bibliography management.
Language:Rust309 7 12447
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust32.4k 83 2.4k868

Drodt's Repositories

Drodt/clever-quotes
Language:Typst00
Drodt/kalkulierbar
Learning Framework for Logic Calculi
Language:TypeScript00
Drodt/key
KeY Theorem Prover for Deductive Java Verification
Language:Java00
Drodt/key-docs
Documentation for the KeY Theorem Prover
Language:TeX00
Drodt/polylux
A package for creating slides in Typst
Language:Julia00
Drodt/rml
Language:Rust00