Julian Peeters's repositories
avrohugger
Generate Scala case class definitions from Avro schemas
sbt-avrohugger
sbt plugin for generating Scala sources for Apache Avro schemas and protocols.
polynomial
The category of Poly, simply typed.
dc10-cats-effect
Library for use with the `dc10-scala` code generator
dc10-scala
A definitional compiler for generating Scala code.
dc10-scalaq-twelf
Render to Twelf as a target lang. Library for use with the dc10-scalaq code generator.
destructured
Typeclasses of a lower kind.
programming-language-foundations
Programming Language Foundations (Stump 2013)
sbt-buildlevel
Which build is currently loaded, meta-build or proper build?
schemabuilder4cats
A referentially transparent FFI to `org.apache.avro.SchemaBuilder`
dc10-fs2-generator
Schema for `dc10-fs2`
dc10-http4s
Library for use with the `dc10-scala` code generator
dc10-mermaid
Scala DSL for generating mermaid definitions.
flyio-example
A simple example based on Tonio Gela's blog post.
haskell-hello-world
testing arm64 virtual machine
hello-calico
Trying out https://github.com/armanbilge/calico
hello-dc10-sbt
Example project definition.
hello-twelf
Examples from Chris Martens' course on Logical Frameworks.
mbnf-parser
Basic BNF parser
testcontainers-specs2
Add Support For Testing with TestContainers with Specs2