st
0 followers · 0 following
  • Joined on 2025-07-19
Repositories
19
 Projects Packages Public activity Starred repositories
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-12 14:37:18 +00:00
f8b89966fb remove old realtional interpreter version
1c399b12ae move old version on relational interpreter, fix the new version
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-11 22:17:17 +00:00
5f7b25be81 fixes, parto of the list / nat oprs replaced
be204de679 fixes, initial approximate structure of the relational interpreter (not correct, is not supposed to work)
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-11 14:07:18 +00:00
909dad6694 replace map with loist of associations
ba4191b64a +rel types def
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-09 21:25:07 +00:00
b8ea97d537 fix build with ocanren syntax (with dune), separate functional and relational implementations
st synced commits to main at st/config from mirror 2025-12-27 17:58:45 +00:00
8466b55f19 add neovim
c1c9bb3e57 add tmp to gitignore
61c486bebd uv, uvx autocompletions
7ccd53b236 python, fixes
76ce2b944b opam roles
Compare 5 commits »
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 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 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