scratches
Repositories
14
 Projects Packages
Filter
Sort
clangd-config-test
C++ 0 0
Updated 2025-08-29 00:22:54 +09:00
dotfiles-codeberg
Lua 1 0
Updated 2025-08-27 18:27:17 +09:00
cxx-demo
C++ 0 0
Updated 2025-08-07 05:50:55 +09:00
milt_jpgis_water_visuazlie
Julia 0 0
Updated 2025-07-13 20:33:07 +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
test_popen_sh
C 0 0
Call sh from sh from C.
Updated 2024-10-10 21:02:12 +09:00
test_clock_validator
C++ 0 0
C++ project
Updated 2024-10-02 17:38:24 +09:00
lua_lib_in_c_playground
C 0 0
learning how to write lua lib in C
Updated 2024-08-18 01:17:17 +09:00
monadt_with_IO
Lean 0 0
Use monad transform with IO.
Updated 2024-06-05 15:50:55 +09:00
lean4_cli_example
Lean 0 0
Updated 2024-06-03 13:15:54 +09:00