AlphaPeu commune
Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
- Propriétaire
- Chymyst (organisation)
- Étoiles
- Étoiles : 263
- Forks
- Forks : 18
- Langage
- Scala
- Licence
- Apache-2.0
- Création
- 2017
- Sujets
- curry-howard-isomorphismintuitionistic-logictheorem-proverscalafunctional-programmingcode-generationscala-macroslambda-termslambda-calculusautomated-theorem-provers
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de Chymyst
Les 2 dépôts de Chymyst- Chymyst/chymyst-coreÉtoiles : 162ScalaPrototype
D’autres dépôts Scala
Tous les dépôts Scala- HairyFotr/linterÉtoiles : 264ScalaAlpha
- kailuowang/henkanÉtoiles : 263ScalaAlpha
- MichalStrehovsky/sizegameÉtoiles : 263ScalaAlpha
- jorgeortiz85/scala-timeÉtoiles : 262ScalaAlpha
- LinkedInAttic/scannsÉtoiles : 262ScalaAlpha