Search *

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

intuitionistic-logic lambda-calculus lambda-terms automated-theorem-provers scala theorem-prover functional-programming scala-macros code-generation curry-howard-isomorphism

138 1 1

A modular functional UI language for Android

abstraction composability gui user-interface dsl android functional-programming scala-macros

533 40 14

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

type-safety funcional-programming ddd type-checking ddd-patterns scala type-level-programming metaprogramming newtype scala-macros scalameta macros typelevel

74 6 3

Scala macros to generate RESTful Models

179 11 1

Scala macros for generating Parquet schema projections and filter predicates

scala-macros scala avro parquet

23 2 1

Get the name of an variable, function, class member, or type as a string--at compile-time!

32 4 1

Avro schema generation and serialization / deserialization

avro serialization scala coproduct avro-schema scala-macros schema-generation

310 96 27