Sign inSign up
G

glebkrasilich

Community User

Displaying 1 to 2 of 2 repositories

image

A simple dockerized Agda built on top of official Haskell image

3y

257

image

Yet another containerized build of NGINX with almost every module enabled

5y

125