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_template 2025-11-29 17:09:21 +00:00
85f62f6c56 init: hugo template for pages
st created repository st/pages_template 2025-11-29 17:02:35 +00:00
st pushed to main at st/pages 2025-11-29 17:01:58 +00:00
c09c13c8f8 generated files only
st pushed to main at st/pages 2025-11-29 16:35:04 +00:00
162c983d4e top level indexc test
st pushed to main at st/pages 2025-11-29 16:25:44 +00:00
169b79e36c built
st pushed to main at st/pages 2025-11-29 16:23:07 +00:00
85d847a7fc hugo theme
011be2d3d2 hugo site
Compare 2 commits »
st pushed to main at st/pages 2025-11-29 16:10:06 +00:00
f702907713 index page
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