Viktor Befort's repositories
dit-calendar
user task management calendar with a server, web-ui and telegram bot
Language:Haskell000
fastai-course
exercises from https://course.fast.ai/
Language:TeX000
motion-planning
proof of robot motion planning algorithms with Isabelle
Language:IsabelleGPL-3.0000
spring-base-crud-endpoint
boilerplate for spring crud endpoint
spring-modular-encapsulation
boilerplate for modular spring app with multiple databases