Skip to content
View vitaB's full-sized avatar
5 followers · 3 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Organizations

@AKSW @dit-calendar
Block or Report

Block or report vitaB

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

Popular repositories

  1. gcd-Verification gcd-Verification Public

    TeX

  2. motion-planning motion-planning Public

    proof of robot motion planning algorithms with Isabelle

    Isabelle

  3. spring-base-crud-endpoint spring-base-crud-endpoint Public

    boilerplate for spring crud endpoint

    Kotlin

  4. dit-calendar dit-calendar Public archive

    Forked from dit-calendar/dit-calendar

    user task management calendar with a server, web-ui and telegram bot

    Haskell

  5. quarkus-heroku-test quarkus-heroku-test Public

    Kotlin

  6. fastai-course fastai-course Public

    exercises from https://course.fast.ai/

    Jupyter Notebook