Activity
Stars and mentions · Last 30 days, Oct 7 – Nov 5
Top repositories
phase’s repositories ranked by new forks, as on trending.
Contributes to
Repositories outside phase’s account where phase opened or reviewed pull requests in the past 365 days.
Who noticed phase
Everyone who starred or forked phase’s repositories since the archive began in 2011.
Notable accounts
Ordered by the stars their own repositories have received.
Biggest fans
Accounts that starred the most of these repositories.
Breakout weeks
Each repository’s best week of new stars, with the release published around it.
Achievements
Awards earned by the repositories phase owns. Select an award to embed its badge.
- Gold
- 11st place finishes
- Silver
- 12nd place finishes
- Bronze
- 03rd place finishes
- Awarded repositories
- 1Owned by phase now
Repositories
Ordered by gold, then silver, then bronze.
- sureBest: 1st by stars, 6,039 stars110
A repository earns an award for finishing first, second or third in a completed trending day or week, ranked by new stars, new forks or pull request authors. Awards follow a repository through renames and transfers and count toward its current owner. Weeks run Monday to Sunday, UTC.
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.