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-31 15:57:13 +00:00
096da9d934 fixes, basic tests working (including tag synthesis)
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-30 15:27:11 +00:00
cdd029e14b fixes, more tests
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-29 14:57:10 +00:00
d4e7f7c02e simple type structure tests for oc interpreter types
7d21d99960 remove unrequired commend
cdf85131f4 move stmt test to oc interpreter
bea18df70e test extension, types moved to ocanren_inject
e2dcf6c2a1 ocanren type syntax test file, migration to 4.14.2 (with pinned ocanren from repo)
Compare 5 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-28 22:37:11 +00:00
30f052b1b1 test experiments, list_assoco simplification
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-27 22:07:10 +00:00
118834c9b7 functions rewrite with ocanren syntax extension
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-26 21:37:11 +00:00
f15613d192 start of test draft imgl
6cb7c30e1f fix functions with new types
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-26 13:27:10 +00:00
22901cdc22 types replaced with modules to use ppx
de72954207 change macros style to ppx
Compare 2 commits »
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