st
0 followers · 0 following
  • Joined on 2025-07-19
Repositories
19
 Projects Packages Public activity Starred repositories
st created repository st/pages 2025-11-29 14:05:26 +00:00
st renamed repository from prog_syntesis to st/prog_synthesis 2025-11-28 18:03:05 +00:00
st synced commits to main at st/prog_synthesis from mirror 2025-11-26 11:54:51 +00:00
9c3825e0d4 fix: do not exclude expressions with new examples from the pool (do not consider them nonequal to any other)
st synced commits to main at st/config from mirror 2025-11-12 20:24:51 +00:00
5daf61c46d inline hints, errors, warnings: fix
6fb90ca935 inline hints, errors, warnings
Compare 2 commits »
st synced commits to main at st/config from mirror 2025-10-14 23:14:50 +00:00
0003fcc537 helix config fix
d711708a49 helix reple config
d3e5061f02 opam: ignore errors
1b1c3d13c1 opam install fix
7188913d73 ocaml: fix
Compare 6 commits »
st synced commits to main at st/config from mirror 2025-10-14 15:04:51 +00:00
0cc293be18 vscode: fixed download proxy location
8621bb0a20 clojure, vscode version update, fixes
Compare 2 commits »
st pushed tag uncoded to st/storage 2025-10-14 14:01:35 +00:00
st released uncoded at st/storage 2025-10-14 14:01:35 +00:00
st pushed to main at st/storage 2025-10-14 13:58:46 +00:00
d3034f905d Update README.md
st created repository st/storage 2025-10-14 13:55:48 +00:00
st synced commits to main at st/config from mirror 2025-09-11 17:14:51 +00:00
2379badd14 hlint
st synced commits to main at st/config from mirror 2025-08-24 01:44:52 +00:00
586835c102 codebok-lsp install fix
2c2270ce8c fixes, defaults per role for now
2fe632b325 bin path choice, proxy fix, common tasks
Compare 3 commits »
st synced commits to main at st/config from mirror 2025-08-23 01:14:52 +00:00
a6e521986b remove extra qt libs (tmp?)
4b94318644 add quickshell debug info & sources
Compare 2 commits »
st synced commits to main at st/config from mirror 2025-08-22 17:04:50 +00:00
4293f662e7 quickshell installs fix
28a5aa09af quickshell installs fix
646b6508eb quickshell installs fix
14f7bf69be quickshell play fix
ce3dad5b22 quickshell pkg name fix
Compare 14 commits »
st synced commits to main at st/config from mirror 2025-08-19 23:44:50 +00:00
147bf7b5d6 gamedev play fix
st synced commits to main at st/config from mirror 2025-08-17 22:44:51 +00:00
3246e1c08c text fixes, remove unrequired todos, gamedev fixes, fixes
st synced commits to main at st/config from mirror 2025-08-17 14:34:51 +00:00
86f72b810e me fish dirs, fixes
6a5cb60746 intellij idea download fix, gamedev dev tasks
78454e2000 install bun with install script
6c46903e4a copy fish variables, fix
cf5e20d4e7 copy fish variables
Compare 10 commits »
st synced commits to main at st/config from mirror 2025-08-14 21:14:51 +00:00
c2a86623a7 add empty script
c7f7f8ee98 add dotfiles dir
Compare 2 commits »
st synced commits to main at st/config from mirror 2025-08-14 13:04:51 +00:00
7dc4a654a1 make prompt not private
e17cbdf3ed typos fix
a7ba593f22 update tools prompt
7215cae313 add intellij install role as submodule
7b79956b12 truffle dev role
Compare 6 commits »
st synced commits to main at st/config from mirror 2025-08-11 19:54:50 +00:00
5fb61ca8fc update gitignore, add htop