Search Results - RepositoryStats

238

719

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 6 months ago

16

257

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 3 years ago

23

130

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

This repository has been archived (exclude archived)

Created 2016-10-18

156 commits to master branch, last one 3 years ago