Pinned Repositories
avro-scala-macro-annotations
Compile-time tools for working with Avros in Scala
avro2caseclass
Generate Scala case class definitions from Avro schemas
avrohugger
Generate Scala case class definitions from Avro schemas
case-class-generator
Dynamically defines and loads Scala classes at runtime. Useful for turning JSON schemas into Scala case classes on the fly.
dc10-scala
A definitional compiler for generating Scala code.
dynamical
Mode-dependent dynamical systems
polynomial
The category of Poly, simply typed.
programming-language-foundations
Programming Language Foundations (Stump 2013)
salat-avro
Fast bi-directional Scala case class to Avro serialization
sbt-avrohugger
sbt plugin for generating Scala sources for Apache Avro schemas and protocols.
julianpeeters's Repositories
julianpeeters/avrohugger
Generate Scala case class definitions from Avro schemas
julianpeeters/sbt-avrohugger
sbt plugin for generating Scala sources for Apache Avro schemas and protocols.
julianpeeters/polynomial
The category of Poly, simply typed.
julianpeeters/dc10
Code generation tools for Scala
julianpeeters/dynamical
Mode-dependent dynamical systems
julianpeeters/dc10-cats-effect
Library for use with the `dc10-scala` code generator
julianpeeters/dc10-scala
A definitional compiler for generating Scala code.
julianpeeters/dc10-scalaq
julianpeeters/dc10-scalaq-twelf
Render to Twelf as a target lang. Library for use with the dc10-scalaq code generator.
julianpeeters/destructured
Typeclasses of a lower kind.
julianpeeters/programming-language-foundations
Programming Language Foundations (Stump 2013)
julianpeeters/sbt-buildlevel
Which build is currently loaded, meta-build or proper build?
julianpeeters/schemabuilder4cats
A referentially transparent FFI to `org.apache.avro.SchemaBuilder`
julianpeeters/dc10-calico
Library for use with the `dc10-scala` code generator
julianpeeters/dc10-cats
Library for use with the `dc10-scala` code generator
julianpeeters/dc10-fs2
Library for use with the `dc10-scala` code generator
julianpeeters/dc10-fs2-generator
Schema for `dc10-fs2`
julianpeeters/dc10-http4s
Library for use with the `dc10-scala` code generator
julianpeeters/dc10-mermaid
Scala DSL for generating mermaid definitions.
julianpeeters/dc10-sbt
Library for use with the `dc10-scala` code generator
julianpeeters/dc10-typelevel
Library for use with the `dc10-scala` code generator
julianpeeters/flyio-example
A simple example based on Tonio Gela's blog post.
julianpeeters/hello-calico
Trying out https://github.com/armanbilge/calico
julianpeeters/hello-dc10-sbt
Example project definition.
julianpeeters/hello-twelf
Examples from Chris Martens' course on Logical Frameworks.
julianpeeters/mbnf-parser
Basic BNF parser
julianpeeters/mdoc
Typechecked markdown documentation for Scala
julianpeeters/sbt-dc10
plugin for generating a `dc10.Renderer` from sbt settings
julianpeeters/typename
Get names for common types, without the use of reflection.
julianpeeters/typesize
A typeclass that provides the cardinalities of common types