Repositories Users Organizations
Filter
Sort
scratches/ tp_lean
Lean 0 0
Theorem proving in lean
Updated 2025-06-05 17:49:40 +09:00
scratches/ software_foundation
Lean 0 0
Updated 2025-06-05 06:51:07 +09:00
qwjyh/ endcap-sl-software-ri-generator
Rust 0 0
Updated 2025-06-01 03:56:19 +09:00
qwjyh/ scoop_bucket
PowerShell 0 0
my scoop bucket
scoop-bucket
Updated 2025-05-26 03:05:02 +09:00
research/ PSBoardDataBase
Julia 0 0
Updated 2025-05-21 17:50:51 +09:00
qwjyh/ dotfiles
Lua 0 0
Updated 2025-04-29 16:29:13 +09:00
qwjyh/ MethodsSimilarity.jl
Julia 0 0
Updated 2025-04-13 23:40:49 +09:00
qwjyh/ xdbm
Rust 1 0
Cross device backup manager. https://git.qwjyh.net/PKGBUILDs/xdbm
Updated 2025-04-09 23:49:55 +09:00
PKGBUILDs/ otf-kikai-chokoku-jis
Shell 0 0
Updated 2025-04-08 09:18:34 +09:00
PKGBUILDs/ xdbm
Shell 0 0
Updated 2025-03-01 10:14:23 +09:00
PKGBUILDs/ powershell-editor-services
Shell 0 0
Updated 2025-02-10 21:35:08 +09:00
scratches/ rust-test-traits-2025-01
Rust 0 0
Updated 2025-01-29 01:51:04 +09:00
PKGBUILDs/ python-mkdocs-autolinks-plugin
Shell 0 0
Updated 2025-01-15 17:11:14 +09:00
qwjyh/ browser-history-merger
Python 0 0
Updated 2025-01-08 14:30:05 +09:00
qwjyh/ QuantumLegos.jl
Julia 0 0
Updated 2024-11-19 08:22:58 +09:00
research/ psboard-qaqc-analysis
Julia 0 0
Updated 2024-10-31 23:04:05 +09:00
scratches/ ffi_test
Lean 0 0
Lean4 FFI example
Updated 2024-10-25 16:50:33 +09:00
scratches/ doug
Lean 0 0
fp in lean
Updated 2024-10-24 19:28:11 +09:00
scratches/ test_popen_sh
C 0 0
Call sh from sh from C.
Updated 2024-10-10 21:02:12 +09:00
scratches/ test_clock_validator
C++ 0 0
C++ project
Updated 2024-10-02 17:38:24 +09:00