Lists (28)
AI
1 repository
Algorithms
2 repositories
Android Apps
11 repositories
Bachelor Thesis
https://github.com/vityaman-edu/bachelor-thesis23 repositories
Backend
17 repositories
C++
15 repositories
Concurrency
1 repository
Course
2 repositories
Daily apps
1 repository
Database
139 repositories
DevTools
28 repositories
Fedora Sway Spin
13 repositories
FPGA
10 repositories
Game
9 repositories
HPC
2 repositories
Languages
147 repositories
Linters
6 repositories
Linux Desktop: Arch & Hyprland
18 repositories
Model Checking
3 repositories
OS
49 repositories
Proof
3 repositories
REST API fuzzing
9 repositories
RISC-V Winter School
4 repositories
Static Analysis
16 repositories
Teaching
5 repositories
/tmp
Advertisements.1 repository
Unknown
1 repository
Web3
1 repository
Starred repositories
2
stars
written in Racket
Clear filter