Benedikt Nordhoff's repositories
advent-of-code
Advent of Code
alpha-zero-general-sogo
AI Playground for the game of Sogo, inspired by the Alpha Go Zero algorithm.
azure-function-flask-terraform
Minimal flask application on azure functions with terraform support
cpachecker
CPAchecker with Information Flow Analysis
docker-latex-pygments
Latex docker with pygments
latin-online
Online vocabulary trainer
ltl2aut
Model Checking LTL in Scala
docker-latex-pygments-inkscape
Docker Container for LaTeX Builds Including Pygments and Inkscape
DroidForce
DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.
heroku-buildpack-scala
Heroku buildpack: Scala
latex-docker
LaTeX Docker
librechat_rag_api
ID-based RAG FastAPI: Integration with Langchain and PostgreSQL/pgvector
mobileorg-android
An implementation of MobileOrg for the Android platform
sdpn
A Dynamic Pushdown Network Analysis Library
spring-boot-scala
An example project on how to use Scala with Spring Boot for creating a microservice, runnable with Docker and managed by SBT
tomorrow-theme
Tomorrow Theme