AlphaUncommon
Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
- Owner
- Chymyst (organization)
- Stars
- Stars: 263
- Forks
- Forks: 18
- Language
- Scala
- License
- Apache-2.0
- Created
- 2017
- Topics
- curry-howard-isomorphismintuitionistic-logictheorem-proverscalafunctional-programmingcode-generationscala-macroslambda-termslambda-calculusautomated-theorem-provers
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Chymyst
All 2 repos by Chymyst- Chymyst/chymyst-coreStars: 162ScalaPrototype
Nearby in Scala
All Scala repos- HairyFotr/linterStars: 264ScalaAlpha
- kailuowang/henkanStars: 263ScalaAlpha
- MichalStrehovsky/sizegameStars: 263ScalaAlpha
- jorgeortiz85/scala-timeStars: 262ScalaAlpha
- LinkedInAttic/scannsStars: 262ScalaAlpha