st
0 followers · 0 following
  • Joined on 2025-07-19
Repositories
19
 Projects Packages Public activity Starred repositories
st pushed to main at st/pages 2025-11-29 15:14:09 +00:00
b262db0c9b Add test2.txt
st pushed to main at st/pages 2025-11-29 14:40:29 +00:00
b245941a6a Add test.txt
st created branch main in st/pages 2025-11-29 14:07:21 +00:00
st pushed to main at st/pages 2025-11-29 14:07:21 +00:00
f8c8a416f2 Add index.md
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