Explore projects
-
Marcel Huber / docker-jenkins
MIT LicenseAutomated build to periodically update the jenkins docker image.
Updated -
Programming Languages and Formal Methods / Public / binary-expression-trees-exercise
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
The core implementation of the calculator with custom calculator functions.
Updated -
Updated
-
Updated
-
-
Dafny BA / Dafny Language Server
MIT LicenseUpdated -
Marcel Huber / docker-alpine-openrc
BSD 3-Clause "New" or "Revised" LicenseDocker image build of Alpine Linux including openRC init system
Updated -
Updated
-
The core implementation of the calculator with custom calculator functions.
Updated -
-
Updated
-
Updated
-
The core implementation of the calculator with custom calculator functions.
Updated