Stream: MetaCoq

Topic: Magmide


view this post on Zulip Karl Palmskog (Jun 24 2023 at 14:12):

This is now the 5th most starred project with the coq topic on GitHub: https://github.com/magmide/magmide

Seemingly, this guy is building his own Coq type checker in Rust:

Maybe someone should reach out to him and tell him where to look in MetaCoq?

view this post on Zulip Karl Palmskog (Jun 24 2023 at 14:16):

(after watching the UNSOUND presentation, I got the impression that MetaCoq is aiming to be the go-to project for "how to implement Coq's theory")

view this post on Zulip Yannick Forster (Jun 24 2023 at 14:17):

Let's say my personal view is that it should be aiming to be :)

view this post on Zulip Yannick Forster (Jun 24 2023 at 14:18):

I've never heard about magmide. How did it get the attention to aquire more than 700 stars on github?

view this post on Zulip Karl Palmskog (Jun 24 2023 at 14:18):

no idea, I think the author is some kind of mover and shaker in the non-academic PL community

view this post on Zulip Yannick Forster (Jun 24 2023 at 14:22):

I'll drop him an email, if for sure would be interesting to chat

view this post on Zulip bubble sort now (Jun 24 2023 at 14:22):

(deleted)

view this post on Zulip bubble sort now (Jun 24 2023 at 14:23):

(deleted)


Last updated: Jul 23 2024 at 21:01 UTC