balazstothofficial

@quickbirdstudios

Pinned Repositories

AdventOfCode22
Language:Haskell00
algdes-labs
Programming exercises for algorithm design
Language:TeX0 0 00
arrays-in-isabelle
Language:Isabelle1 1 00
IDP
Language:Haskell0 1 00
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
Language:Lean0 0 00
models
Models and examples built with TensorFlow
Language:Python2 0 02
Real-Time-Deque
Language:Isabelle0 1 00
tum-thesis-latex
:notebook_with_decorative_cover: A LaTeX template for TUM Bachelor/Master theses.
Language:TeX0 0 00
kotlin-snapshot-testing
Extensible Kotlin Multiplatform library to easily create Snapshot tests for Android and other Kotlin applications
Language:Kotlin61 3 72
NonEmptyCollections
A type-safe implementation for collections that cannot be empty. Life is too short for emptiness-checks!
Language:Kotlin51 4 54

balazstothofficial's Repositories

balazstothofficial/models
Models and examples built with TensorFlow
Language:Python2 0 02
balazstothofficial/arrays-in-isabelle
Language:Isabelle1 1 00
balazstothofficial/AdventOfCode22
Language:Haskell00
balazstothofficial/algdes-labs
Programming exercises for algorithm design
Language:TeX0 0 00
balazstothofficial/IDP
Language:Haskell0 1 00
balazstothofficial/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
Language:Lean0 0 00
balazstothofficial/Real-Time-Deque
Language:Isabelle0 1 00
balazstothofficial/tum-thesis-latex
:notebook_with_decorative_cover: A LaTeX template for TUM Bachelor/Master theses.
Language:TeX0 0 00