scratches
Repositories
20
 Projects Packages
Filter
Sort
dotfiles-codeberg
Lua 1 0
Updated 2026-04-09 01:47:48 +09:00
ansi-escape
Typst 0 0
Updated 2026-02-13 07:01:02 +09:00
unfold_test_1
Julia 0 0
Updated 2026-01-27 19:04:03 +09:00
TestStructArrayWithUnitful
Julia 0 0
Updated 2026-01-23 06:21:49 +09:00
coalesce_thunk
Julia 0 0
For https://qiita.com/advent-calendar/2025/julia https://cfpages.qwjyh.net/coalesce_thunk
Updated 2025-12-17 19:49:02 +09:00
ExplorerMethods
Julia 0 0
Updated 2025-12-15 20:32:34 +09:00
analyze_beszel_result
Julia 0 0
Updated 2025-10-08 18:40:19 +09:00
milt_jpgis_water_visuazlie
Julia 0 0
Updated 2025-09-30 18:17:42 +09:00
clangd-config-test
C++ 0 0
Updated 2025-08-29 00:22:54 +09:00
cxx-demo
C++ 0 0
Updated 2025-08-07 05:50:55 +09:00
tp_lean
Lean 0 0
Theorem proving in lean
Updated 2025-06-05 17:49:40 +09:00
software_foundation
Lean 0 0
Updated 2025-06-05 06:51:07 +09:00
rust-test-traits-2025-01
Rust 0 0
Updated 2025-01-29 01:51:04 +09:00
ffi_test
Lean 0 0
Lean4 FFI example
Updated 2024-10-25 16:50:33 +09:00
doug
Lean 0 0
fp in lean
Updated 2024-10-24 19:28:11 +09:00