st

0 followers · 0 following

• Joined on 2025-07-19

Repositories

20

Projects Packages Public activity Starred repositories

st deleted tag photo from st/pages 2025-12-03 22:32:44 +00:00

st pushed tag photo to st/pages 2025-12-03 22:31:04 +00:00

st released photo at st/pages 2025-12-03 22:31:04 +00:00

st synced commits to main at st/pass_strategy_synthesis from mirror 2025-12-02 18:28:42 +00:00

b64cf6e9ce basic programs types & type checker part

st synced commits to main at st/pass_strategy_synthesis from mirror 2025-11-30 01:48:42 +00:00

19b9d3aa56 start with template code https://github.com/Kakadu/OCanren-basic-template

st pushed to main at st/pages 2025-11-29 20:55:51 +00:00

141e44b493 projects, general layout

st pushed to main at st/pages_template 2025-11-29 20:55:29 +00:00

e18f244fe5 projects, general layout

st synced new reference main to st/pass_strategy_synthesis from mirror 2025-11-29 17:38:43 +00:00

st synced commits to main at st/pass_strategy_synthesis from mirror 2025-11-29 17:38:42 +00:00

st pushed to main at st/pages_template 2025-11-29 17:10:47 +00:00

3aebbf9ebf remove unrequired index.html

st pushed to main at st/pages_template 2025-11-29 17:10:22 +00:00

27c760a8d5 init, hugo build

st created branch main in st/pages_template 2025-11-29 17:09:21 +00:00

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