# Chymyst/curryhoward

<https://repo.masters-masters.com/en/repos/Chymyst/curryhoward>

[Home](https://repo.masters-masters.com/en) › [Chymyst](https://repo.masters-masters.com/en/owners/Chymyst) › [curryhoward](https://repo.masters-masters.com/en/repos/Chymyst/curryhoward)

Chymyst/curryhoward has 263 stars on GitHub. Its RepoMasters card: Alpha tier. Automatic code generation for Scala functions and expressions via the…

| Field | Value |
| --- | --- |
| Owner | [Chymyst](https://repo.masters-masters.com/en/owners/Chymyst) |
| Stars | 263 |
| Forks | 18 |
| Language | [Scala](https://repo.masters-masters.com/en/languages/scala) |
| License | Apache-2.0 |
| Created | 2017 |
| Topics | curry-howard-isomorphism, intuitionistic-logic, theorem-prover, scala, functional-programming, code-generation, scala-macros, lambda-terms, lambda-calculus, automated-theorem-provers |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [Chymyst/curryhoward](https://github.com/Chymyst/curryhoward) |

## Repository

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by Chymyst

- [Chymyst/chymyst-core · ★ 162 · Scala · Prototype](https://repo.masters-masters.com/en/repos/Chymyst/chymyst-core)

## Nearby in Scala

- [HairyFotr/linter · ★ 264 · Scala · Alpha](https://repo.masters-masters.com/en/repos/HairyFotr/linter)
- [kailuowang/henkan · ★ 263 · Scala · Alpha](https://repo.masters-masters.com/en/repos/kailuowang/henkan)
- [MichalStrehovsky/sizegame · ★ 263 · Scala · Alpha](https://repo.masters-masters.com/en/repos/MichalStrehovsky/sizegame)
- [jorgeortiz85/scala-time · ★ 262 · Scala · Alpha](https://repo.masters-masters.com/en/repos/jorgeortiz85/scala-time)
- [LinkedInAttic/scanns · ★ 262 · Scala · Alpha](https://repo.masters-masters.com/en/repos/LinkedInAttic/scanns)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.