Skip to content
Why GitHub?
Features
→
Code review
Project management
Integrations
Actions
Team management
Social coding
Documentation
Code hosting
Customer stories
→
Security
→
Enterprise
Explore
Explore GitHub
→
Learn & contribute
Topics
Collections
Trending
Learning Lab
Open source guides
Connect with others
Events
Community forum
GitHub Education
Marketplace
Pricing
Plans
→
Compare plans
Contact Sales
Nonprofit
→
Education
→
In this repository
All GitHub
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub
↵
Jump to
↵
In this repository
All GitHub
↵
Jump to
↵
Sign in
Sign up
Watch
6
Star
119
Fork
11
KesterTong
/
idris2048
Code
Issues
0
Pull requests
0
Projects
0
Insights
Pulse
Contributors
Commits
Code frequency
Dependency graph
Network
Forks
KesterTong
/
idris2048
38
/
idris2048
bgilb
/
idris2048
bkase
/
idris2048
mayunmks
/
idris2048
mi-lee
/
idris2048
nathanpeck
/
idris2048
sdierauf
/
idris2048
silky
/
idris2048
tbeddy
/
idris2048
yurrriq
/
idris2048
You can’t perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
