Pinned Repositories
akkastream-azure
Akka Stream connector for Azure Storage Queue
akreuzer.github.io
My website
alpakka
Enterprise Integration Done Right — Alpakka
AltaCV
Yet another alternative curriculum vitae/résumé class with LaTeX
case-insensitive
A case-insensitive string for Scala
dockerfiles
Just some random dockerfiles
feteke-lean
A formal proof of Feteke's Lemma
fs2-rabbit
Stream-based client for RabbitMQ built on top of Fs2
InvoiceGenerator
Library to generate PDF invoices.
z3go
A Golang wrapper for the Z3 SMT solver
akreuzer's Repositories
akreuzer/AltaCV
Yet another alternative curriculum vitae/résumé class with LaTeX
akreuzer/z3go
A Golang wrapper for the Z3 SMT solver
akreuzer/akkastream-azure
Akka Stream connector for Azure Storage Queue
akreuzer/akreuzer.github.io
My website
akreuzer/alpakka
Enterprise Integration Done Right — Alpakka
akreuzer/case-insensitive
A case-insensitive string for Scala
akreuzer/dockerfiles
Just some random dockerfiles
akreuzer/feteke-lean
A formal proof of Feteke's Lemma
akreuzer/fs2-rabbit
Stream-based client for RabbitMQ built on top of Fs2
akreuzer/InvoiceGenerator
Library to generate PDF invoices.
akreuzer/OpenNMT-py
Open Source Neural Machine Translation in PyTorch
akreuzer/pytorch-lightning
The lightweight PyTorch wrapper for ML researchers. Scale your models. Write less boilerplate
akreuzer/pytorchltr
Learning to Rank in PyTorch (fork of pytorchltr)
akreuzer/sapcli
Command Line Interface for interaction with SAP tools
akreuzer/z3
The Z3 Theorem Prover
akreuzer/z3-turnkey
Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.