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-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
boyan_k pushed to main at University/Notes 2025-02-27 16:29:52 +01:00
8bf5195059 vault backup: 2025-02-27 16:29:47
boyan_k pushed to main at University/Notes 2025-02-20 16:21:52 +01:00
f5bf5e4f3e vault backup: 2025-02-20 16:21:47
boyan_k pushed to main at University/Notes 2025-02-20 16:00:26 +01:00
88c988e284 vault backup: 2025-02-20 16:00:23
boyan_k pushed to main at University/Notes 2025-02-20 15:48:25 +01:00
7ed288dd9c vault backup: 2025-02-20 15:48:21
boyan_k pushed to main at University/Notes 2025-02-20 15:08:13 +01:00
680fb334ac vault backup: 2025-02-20 15:08:09
boyan_k pushed to main at University/Notes 2025-02-20 14:57:04 +01:00
d62b2f8867 vault backup: 2025-02-20 14:57:00
boyan_k pushed to main at University/Notes 2025-02-14 15:29:59 +01:00
7332fea8bf vault backup: 2025-02-14 15:29:55
boyan_k pushed to main at University/Notes 2025-02-13 16:10:23 +01:00
fb35dd1020 vault backup: 2025-02-13 16:10:19
boyan_k synced commits to main at boyan_k/temmies from mirror 2025-02-13 02:50:17 +01:00
0ed744dff8 More "error handling"
03a1fd1b33 Stupid packaging mistake
Compare 2 commits »
boyan_k synced commits to refs/tags/1.2.122 at boyan_k/temmies from mirror 2025-02-13 02:50:17 +01:00
boyan_k synced new reference refs/tags/1.2.122 to boyan_k/temmies from mirror 2025-02-13 02:50:17 +01:00
boyan_k synced commits to main at boyan_k/temmies from mirror 2025-02-12 18:40:16 +01:00
813519f642 ujpdated requirements
edabec3e7c Fixed Issue #17 by adding a browser pop-up dialog
Compare 2 commits »
boyan_k pushed to main at University/Notes 2025-02-12 15:04:19 +01:00
20b172d455 vault backup: 2025-02-12 15:04:15