41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a087bd-9263-7063-95ea-cb23e3eefa34

Catching Up!

patrick.sirref.org · published 21 April 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at patrick.sirref.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 15
Words captured: 1,113

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://outreachy.org/

outreachy.org

https://github.com/azzsal

github.com

https://github.com/ocaml-semver/ocaml-api-watch

github.com

https://github.com/ocaml-ppx/ppxlib/pull/570

github.com

https://patrick.sirref.org/ppxlib/

patrick.sirref.org

https://sherlocode.com/

sherlocode.com

Bumping Ppxlib's AST to 5.2 Read at the source ↗

patrick.sirref.org

https://rocq-prover.org/

rocq-prover.org

https://patrick.sirref.org/dhsorens/

patrick.sirref.org

https://github.com/dhsorens/mrdt

github.com

https://github.com/patricoferris/coq-difc

github.com

https://github.com/patricoferris/difc-star

github.com

https://patrick.sirref.org/artw/

patrick.sirref.org

https://swtch.com/~rsc/regexp/regexp4.html

swtch.com

https://sherlorocq.sirref.org/

sherlorocq.sirref.org