boyan_k
0 Followers · 0 Following
  • Sofia, Bulgaria
  • https://confest.im

  • Almost all of the organizations housed on this Gitea instance are only used as means of organization (i.e. I am the only one who uses this).

  • Joined on 2021-08-10
Repositories
13
 Projects Packages Public Activity Starred Repositories
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:26:35 +01:00
69e94d5fa4 Added links
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:25:33 +01:00
775daf2271 center
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:24:40 +01:00
59dc0307b3 center
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:24:01 +01:00
0420a41d3d html table nicer
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:19:14 +01:00
625233299a ADded sanic logo
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:18:29 +01:00
321b6d4067 Updated big README
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:13:37 +01:00
b5a0c48aee Cool
boyan_k pushed to main at boyan_k/learning-languages 2025-03-21 17:09:10 +01:00
ed3e43889e monads
boyan_k pushed to main at University/Notes 2025-03-17 20:11:58 +01:00
d7a17f5c9b vault backup: 2025-03-17 20:11:53
boyan_k pushed to master at boyan_k/Coding_Tools 2025-03-17 17:52:08 +01:00
eca51af5ea Fix
boyan_k pushed to master at boyan_k/Coding_Tools 2025-03-17 17:50:51 +01:00
30ecc9b87c fuck
boyan_k pushed to main at boyan_k/learning-languages 2025-03-16 17:25:11 +01:00
923a17f7ff session 2
boyan_k pushed to main at boyan_k/learning-languages 2025-03-16 17:24:48 +01:00
0dd25768c8 session 2
boyan_k pushed to main at boyan_k/learning-languages 2025-03-13 19:45:27 +01:00
c09b029e90 removed redundant
boyan_k pushed to main at boyan_k/learning-languages 2025-03-13 19:44:26 +01:00
82296adba1 Updated main readme with ideas
boyan_k pushed to main at boyan_k/learning-languages 2025-03-13 19:36:52 +01:00
4d742b6b88 Added first session notes
a30e91976a Added haskell README
2e97717395 Unified design of main readmes
ab3c6ed53a Update main readme
Compare 4 commits »
boyan_k pushed to main at boyan_k/learning-languages 2025-03-13 15:02:45 +01:00
2828b36251 added coq
boyan_k pushed to main at boyan_k/learning-languages 2025-03-13 15:02:23 +01:00
063a474852 added coq
boyan_k pushed to main at boyan_k/learning-languages 2025-03-13 14:57:14 +01:00
1b8113ad8b added coq
boyan_k synced commits to main at boyan_k/temmies from mirror 2025-03-02 01:40:16 +01:00
c9a2e1f456 Rewrote login, fixed timing bug