lambda-fairy/lambda-fairy.github.io - GitHub Explorer | GitHub Explorer | Trending

Stars

4

Forks

0

Watchers

4

Open Issues

1

Repository Health Score

❤️

15/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Update to Comrak 0.31

Chris Wong•1 year ago

cbbe834View on GitHub

Fix Clippy needless_lifetimes

Chris Wong•1 year ago

35e868cView on GitHub

Reword Lean article

Chris Wong•1 year ago

9d42365View on GitHub

Less brusque

Chris Wong•2 years ago

3d90d2fView on GitHub

Do mathematics now

Chris Wong•2 years ago

2cb6f75View on GitHub

Not just Coq

Chris Wong•2 years ago

d776118View on GitHub

Not so HoTT

Chris Wong•2 years ago

24fe73cView on GitHub

Add blockquote styles

Chris Wong•2 years ago

1648e7aView on GitHub

Finish lean-popular?

Chris Wong•2 years ago

418dfa5View on GitHub

Add Jacaranda

Chris Wong•2 years ago

3372159View on GitHub

Lean popular draft

Chris Wong•2 years ago

9ecbc6cView on GitHub

Bump xml-rs from 0.8.4 to 0.8.14 (#7)

dependabot[bot]•2 years ago

f573bfcView on GitHub

Fix redundant binding (#8)

Chris Wong•2 years ago

d68cd6eView on GitHub

How to lose money on Manifold

Chris Wong•2 years ago

281e987View on GitHub

Shorter

Chris Wong•2 years ago

f0c4d6aView on GitHub

View all commits

GitHub Explorer

lambda-fairy.github.io

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues