Search Results - RepositoryStats

240

721

apache-2.0

24

Avro schema generation and serialization / deserialization for Scala

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

Created 2015-09-16

1,576 commits to master branch, last one 3 months ago

16

258

apache-2.0

15

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

24

147

mit

5

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

scala scala-macros

Created 2016-09-22

94 commits to master branch, last one 19 days ago

7

64

other

7

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