Activity, over time
Daily observations from the public event archive.
Attention
Daily stars & forks
Star accumulation
Cumulative stars
Pull requests
Daily opens & merges
Conversations
Daily issues & comments
Community
Daily accounts & reviews
Releases
Daily releases
Trending history
Daily top 10 · last 90 days · UTC
Mentions
Stars
Forks
Contributors
Latest stargazers
The last 10 distinct accounts we observed this year.
Most active participants
PR, issue, comment & review events in the past year.
Packages
Scan pending.
README badges
Embed a badge in your README or website.
Live mentions · last 30 days
Mentions
This is probably referring to simply typed lambda calc, meaning the dependent bits are erased and there are no types depending on runtime values. I made a similar toy lang that extracts out the runtime program by erasing runtime irrelevant parts (which here are explicitly marked with a . prefix). This extracted program is a typed IR and could be translated to LLVM IR or similar quite easily.