Search Results - RepositoryStats

236

715

apache-2.0

26

Avro schema generation and serialization / deserialization for Scala

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

Created 2015-09-16

1,562 commits to master branch, last one about a month ago

15

255

apache-2.0

16

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

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

Created 2017-12-12

88 commits to master branch, last one 2 years ago

23

128

mit

3

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

scala scala-macros

Created 2016-09-22

74 commits to master branch, last one 2 years ago

7

64

other

8

Scala macros for compile-time generation of Kryo serializers

kryo scala macros scala-macros

Created 2016-10-18

156 commits to master branch, last one 3 years ago