simon
0 followers · 0 following
  • Joined on 2025-01-28
Repositories
8
 Projects Packages Public activity Starred repositories
simon synced commits to gh-pages at simon/linol from mirror 2025-12-02 01:10:35 -05:00
e14e9845e6 deploy: c6e84391e7
simon synced commits to main at simon/linol from mirror 2025-12-02 01:10:35 -05:00
c6e84391e7 Merge pull request #60 from kuviman/fix-eio-spawn
705cc47ddf bring back Linol_eio.spawn for logging uncaught exceptions
40843b81db Make template-eio handle requests concurrently
Compare 3 commits »
simon synced and deleted reference refs/tags/refs/pull/60/merge at simon/linol from mirror 2025-12-02 01:10:34 -05:00
simon synced commits to gh-pages at simon/linol from mirror 2025-11-25 22:10:34 -05:00
247371f990 deploy: fb49472f34
simon synced commits to main at simon/linol from mirror 2025-11-25 22:10:34 -05:00
fb49472f34 fix: protect Eio's out channel with a mutex
simon synced commits to main at simon/ocaml-containers from mirror 2025-11-25 22:10:31 -05:00
f51b56ffbc cleanup
02c4d51fd0 chore: CI
7c8adbd9fc move to ocamlformat 0.27, format code
954ea61d22 doc + benchs
b069461fe2 test: enrich pvec test
Compare 7 commits »
simon synced commits to gh-pages at simon/moonpool from mirror 2025-11-19 19:10:32 -05:00
d6672c2c10 deploy: 0959004b11
simon synced commits to main at simon/moonpool from mirror 2025-11-19 19:10:32 -05:00
189a95a514 fix: in Lock, prevent flambda from reordering mutex-protected operations
0959004b11 document how many threads are used for work in Ws_pool
Compare 2 commits »
simon synced commits to gh-pages at simon/moonpool from mirror 2025-11-15 00:50:32 -05:00
4e309961a8 deploy: 75e528413b
simon synced commits to main at simon/moonpool from mirror 2025-11-15 00:50:32 -05:00
75e528413b remove mentions of ocaml4 in readme
simon synced commits to refs/pull/472/merge at simon/ocaml-containers from mirror 2025-11-14 16:40:32 -05:00
c06b5a57db Merge fd1495324a into 14ad490c7e
14ad490c7e fix: insert missing symbol into range doc comments
Compare 2 commits »
simon synced commits to refs/pull/40/head at simon/moonpool from mirror 2025-11-14 00:20:47 -05:00
0b28898586 rename
simon synced commits to refs/tags/v0.10 at simon/moonpool from mirror 2025-11-14 00:20:47 -05:00
simon synced new reference refs/tags/v0.10 to simon/moonpool from mirror 2025-11-14 00:20:47 -05:00
simon synced commits to refs/pull/36/head at simon/moonpool from mirror 2025-11-14 00:20:46 -05:00
b1688f71e7 more signal handling
794b263d36 improve lock
a40ea8b41b avoid recursion in dpool
40e97d969a fix domain pool: block signals in background threads
c3f235f7e9 Merge pull request #40 from c-cube/simon/reduce-scope-round2
Compare 97 commits »
simon synced commits to main at simon/moonpool from mirror 2025-11-14 00:20:44 -05:00
4de33f0121 prepare for 0.10
58a0f891f7 Merge pull request #36 from c-cube/simon/fix-35
b1688f71e7 more signal handling
794b263d36 improve lock
a40ea8b41b avoid recursion in dpool
Compare 18 commits »
simon synced and deleted reference refs/tags/simon/reduce-scope-round2 at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
simon synced and deleted reference refs/tags/refs/pull/36/merge at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
simon synced and deleted reference refs/tags/refs/pull/40/merge at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
simon synced commits to gh-pages at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
338ed1fdfc deploy: 4de33f0121
564fe8399e deploy: 58a0f891f7
72fd2a8ad9 deploy: c3f235f7e9
Compare 3 commits »