AlphaUncommon
idris-hackers/software-foundations
Software Foundations in Idris
- Owner
- idris-hackers (organization)
- Stars
- Stars: 459
- Forks
- Forks: 36
- Language
- Idris
- License
- MIT
- Created
- 2016
- Topics
- idristheorem-provingbookcomputer-science
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by idris-hackers
All 8 repos by idris-hackers- idris-hackers/idris-modeStars: 275Emacs LispAlpha
- idris-hackers/idris-vimStars: 221Vim ScriptPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- idris-hackers/IdrisWebStars: 109TeXPrototype
Nearby in Idris
All Idris repos- edwinb/Idris2-bootStars: 889IdrisBeta
- edwinb/BlodwenStars: 540IdrisAlpha
- mmhelloworld/idris-jvmStars: 483IdrisAlpha
- joaomilho/awesome-idrisStars: 414IdrisAlpha
- typedefs/typedefsStars: 373IdrisAlpha
- statebox/idris-ctStars: 272IdrisAlpha