Skip to content
View Lastaapps's full-sized avatar

Block or report Lastaapps

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Lastaapps/README.md

Petr Laštovička (Lasta Apps)

About me

Hi, I'm student of FIT CTU in Prague with love for programming, theory, math, social activity and playing guitar. Currently, I'm doing my bachelor's in theoretical informatics. I started programming in my 8th class of elementary school, gained self-though knowledge during high school and extended it significantly. I'm loving it so far.

Key Value
Name Petr Laštovička
Born 2002
High school Gymnázium Pelhřimov (Grammar school) (2016 - 2021)
University Faculty of Information Technology CTU Prague (2021 - …)
Field Theoretical informatics
Study average 1.05
ORCID 0009-0001-1679-6221
Hobbies Programming, Guitar playing, Dancing

My GitHub stats

Publications

  • Flexible realizations existence: NP-completeness on sparse graphs and algorithms, Petr Laštovička, Jan Legerský, 2024, arXiv.org

Languages, Technologies

Level Languages, tools, platforms, …
Quite good C, C++, Kotlin, Android SDK, Git, Python, Linux
I can manage Rust, Go, Scala, SQL, Shell, Docker, Gradle, Java, Lisp, …
Fields Algorithms, Data structures, Compilers, Deep learning, App development, Functional prog., Non-basic uni math
Android, Kotlin stack KMP, Compose, SQLDelight, Koin, MVVM, Views, Ktor, …
B2 English
A2 German
C2 Czech

Check my coding style (not only) in my Advent of Code repo.

Experience, achievements

  • Matee devs - Android app development, 1 year

  • Teaching C at FIT CTU, 2 semesters

  • Teaching C++ at FIT CTU, 1 semester

  • Erasmus at TalTech, Estonia, 1 semester

  • small contracts

  • also note the projects listed bellow

  • Asuro project participant

  • Physics Olympics winner (regional lever only)

  • Physics selective course Táňa

Projects

High school

  • Many small Android apps
  • Bakaláři mobile client (huge, but never finished & published)
  • Arduino/ESP weather station

University

  • Menza CTU - Mobile client + server for viewing and rating CTU canteen menus (2000+ users), Kotlin
  • Lispík - SECD VM and compiler for basic Lisp constructs, Kotlin
  • Mila - Pascal compiler, Rust
  • vimxel - Table processor in terminal supporting expressions and Vim bindings, C++
  • Vector house - Vector based search engine for Wikipedia, Python
  • C++ course repository
  • C course repository
  • Algorithms repository (advanced course)
  • and more minor projects

Self-hosting

  • Raspberry Pi4
  • Alma Linux
  • Nginx
  • Own rating backend for the Menza app
  • Synapse Matrix
  • Nextcloud
  • Syncthing
  • WordPress
  • and more…

Contact

And btw

I use Arch NixOS (and NeoVim).

Pinned Loading

  1. menza menza Public

    This Android app shows dish menus for CTU cafeterias from agata.suz.cvut.cz web in much more pleasant and usable way for phones. It shows today and week menu, opening hours, contacts, announcements…

    Kotlin 48 3

  2. Lispik Lispik Public

    TinyList interpreter - TinyList is a small subset of Lisp constructs. This project contains a lexer, parser, compiler and SECD virtual machine.

    Kotlin 1

  3. vimxel vimxel Public

    VimXel is a simple spreadsheet editor written in C++ supporting nested expressions, exporting to CSV file format and basic Vi navigation shortcuts and commands.

    C++ 1

  4. ctu-bi-pjp ctu-bi-pjp Public

    This is my solution of a semester project in subject BI-PJP - Programming languages and compilers at FIT CTU in Prague in 2022/2023.

    Rust 1

  5. advent-of-code advent-of-code Public

    Advent of code 2022+ in Kotlin, Rust, Racket, ...

    Kotlin 1

  6. vector-house vector-house Public

    Wikipedia vector-based search engine

    Jupyter Notebook