Unclaimed project

Are you a maintainer of curryhoward? Claim this project to take control of your public changelog and roadmap.

Changelog

curryhoward

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

26118ScalaApache-2.0

automated-theorem-proverscode-generationcurry-howard-isomorphismfunctional-programmingintuitionistic-logiclambda-calculus+4

Last updated 10 months ago

NewAugust 23, 2021

Support Scala 2.11, 2.12, 2.13

This release has no changes with respect to 0.3.7 except for compatibility with Scala 2.13.

💾 Database Tools incl. ORM, Migrations and Admin UI (Postgres, MySQL & MongoDB) [deprecated]

CMAK is a tool for managing Apache Kafka clusters

A fault tolerant, protocol-agnostic RPC system

The leader in Customer Data Infrastructure