qwjyh
0 followers · 0 following
  • Joined on 2024-04-19
Repositories
7
 Projects Packages Public activity Starred repositories
1
qwjyh pushed to main at scratches/lean4_cli_example 2024-06-03 13:15:54 +09:00
3e9cbb049e init
qwjyh created repository scratches/lean4_cli_example 2024-06-03 13:15:44 +09:00
qwjyh pushed to master at PKGBUILDs/softethervpn 2024-06-02 17:45:17 +09:00
aa1f149b95 Fix gcc14 porting (pkgrel 2)
qwjyh created branch master in PKGBUILDs/luax-git 2024-05-30 19:41:17 +09:00
qwjyh pushed to master at PKGBUILDs/luax-git 2024-05-30 19:41:17 +09:00
b41544c6ad init
qwjyh created repository PKGBUILDs/luax-git 2024-05-30 19:40:53 +09:00
qwjyh pushed to master at PKGBUILDs/xdbm 2024-05-26 01:30:15 +09:00
b5bfbf0bc0 v0.2.0
qwjyh pushed to master at PKGBUILDs/powershell-editor-services 2024-05-22 17:53:26 +09:00
d67bff4f03 update to v3.20.1
qwjyh opened issue PKGBUILDs/xdbm#1 2024-05-22 02:06:00 +09:00
Update to v0.2.0
qwjyh synced and deleted reference refs/tags/setup_ci-1 at qwjyh/xdbm from mirror 2024-05-21 19:48:01 +09:00
qwjyh synced commits to main at qwjyh/xdbm from mirror 2024-05-21 19:48:01 +09:00
fe2847ba5b bump version to v0.2.0
d64cf6e255 Updated CHANGELOG regarding #10 and #11
2b4efd71bc Merge pull request #11 from qwjyh/btreemap
87b73bd125 change types for localinfos
df0ce53d84 fixup! replace HashMap with BTreeMap in Storages and Backups
Compare 6 commits »
qwjyh synced commits to refs/tags/v0.2.0 at qwjyh/xdbm from mirror 2024-05-21 19:48:01 +09:00
qwjyh synced new reference refs/tags/v0.2.0 to qwjyh/xdbm from mirror 2024-05-21 19:48:01 +09:00
qwjyh pushed to main at scratches/tp_lean 2024-05-20 11:50:48 +09:00
d1b5dd85a7 quantifiers_and_equality exercises
qwjyh pushed to master at PKGBUILDs/servitor-bin 2024-05-12 16:03:25 +09:00
e628459cec fix pkgname
qwjyh created branch master in PKGBUILDs/servitor-bin 2024-05-12 15:45:59 +09:00
qwjyh pushed to master at PKGBUILDs/servitor-bin 2024-05-12 15:45:59 +09:00
cf17f314fd init with v2
qwjyh created repository PKGBUILDs/servitor-bin 2024-05-12 15:45:38 +09:00
qwjyh pushed to main at qwjyh/dotfiles 2024-05-12 14:00:41 +09:00
qwjyh pushed to main at qwjyh/dotfiles 2024-05-12 13:56:18 +09:00
3653450a93 Merge branch 'main' of ssh://raspberrypi.tailscale.qwjyh.net:222/qwjyh/dotfiles
7ece410458 nvim: add support for powershell_es on linux
bb7d1b917f update: nvim: remove auto appended setup script by PDM
90d82e3998 add: nvim: sqls
e24fcfccdb nvim: add: jsonls
Compare 10 commits »