Reverse proxy for AWS ECS. Let's you address your docker containers by sub domain.

Non-root Docker image running Alpine Linux and code-server.

Backend: Built with Spring Boot, uses MongoDB as the database. Exposed on port 8080.

Ubuntu 20.04 with NodeJS 20.X and TypeScript 5.X installed

An image with all dependencies needed for codetrace build.

Code2Inv: Learning Loop Invariants for Program Verification

coderbot stub server, for ease the development under an amd64 runtime.

codelibs/fess

codelibs

[THIS REPO IS DEPRECATED] Fess is very powerful and easily deployable Enterprise Search Server.