Search *

Avro schema generation and serialization / deserialization

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

336 100 28

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

32 4 1

Scala macros for generating Parquet schema projections and filter predicates

scala-macros scala avro parquet

25 2 1

A modular functional UI language for Android

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

533 40 14

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

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

77 6 3

Scala macros to generate RESTful Models

179 11 1

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

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

175 4 1