qwjyh

qwjyh created branch main in scratches/ffi_test

2024-10-25 16:49:20 +09:00

qwjyh pushed to main at scratches/ffi_test

2024-10-25 16:49:20 +09:00

acbdce7e8b disable CI

3183a106c5 ffi example (from official lake repository (leanprover/lean4))

57fb134506 init

qwjyh created repository scratches/ffi_test

2024-10-25 16:49:10 +09:00

qwjyh pushed to master at scratches/doug

2024-10-23 14:32:21 +09:00

244ace87c3 argument for starting directory (completed)

qwjyh pushed to main at qwjyh/dotfiles

2024-10-22 18:28:15 +09:00

f5efb7cb66 refactor(julials): update docs & remove unused shell scripts

qwjyh pushed to main at qwjyh/dotfiles

2024-10-22 18:17:28 +09:00

ad4a9f53a1 fix(julials): fix sysimage update (remove func calls for printstyled in

qwjyh pushed to master at scratches/doug

2024-10-22 18:03:56 +09:00

de3fe6dd6d controlling the display of dotfiles

qwjyh pushed to master at scratches/doug

2024-10-22 17:03:13 +09:00

e2003d0898 rewrite with Monad transformer

qwjyh pushed to master at scratches/doug

2024-10-21 22:27:41 +09:00

8d6fc4d214 rewrite with custom Monad (without monad transformer)

qwjyh pushed to master at scratches/doug

2024-10-21 12:37:44 +09:00

3124f2bf78 before creating custom monad & lake script to run main

qwjyh created branch master in scratches/doug

2024-10-20 16:19:25 +09:00

qwjyh pushed to master at scratches/doug

2024-10-20 16:19:25 +09:00

a7b9963740 lake + some packages

qwjyh created repository scratches/doug

2024-10-20 16:18:43 +09:00

qwjyh pushed to main at qwjyh/dotfiles

2024-10-11 14:27:38 +09:00

616a13b1b0 update: julia-sysimages

3ea290ea58 fix(nvim): replace tsserver -> ts_ls since it's deprecated

d8158947e5 update(nvim): update satysfi_ls config and its loading

Compare 3 commits »

qwjyh pushed to main at qwjyh/dotfiles

2024-10-11 12:05:25 +09:00

49321cb4ff fix(xremap): config for M750(remove keymap for side buttons)

2b0329474c update(nvim): update julials dependency(add TOML)

686a6f1332 fix(neovim install): install ftplugin for typst

Compare 3 commits »

qwjyh pushed to main at scratches/test_popen_sh

2024-10-10 21:02:12 +09:00

bc4d76f633 add diff for no set -e and no cd to script dir patch

5d58c84be4 fix Makefile (use C23 with GNU extension)

Compare 2 commits »

qwjyh created branch main in scratches/test_popen_sh

2024-10-10 20:57:21 +09:00

qwjyh pushed to main at scratches/test_popen_sh

2024-10-10 20:57:21 +09:00

9f1862f150 init

qwjyh created repository scratches/test_popen_sh

2024-10-10 20:57:09 +09:00

qwjyh pushed to main at qwjyh/dotfiles

2024-10-02 19:16:14 +09:00

7efd53759a (WIP) new: nvim: tree-sitter injection for julia sql string