-
-
-
PUID-aleksalazar-homelab-docker Public
Forked from TeareDrop/homelab-dockerThis repository contains a collection of Docker Compose files designed to simplify the deployment of various services.
Shell BSD 3-Clause "New" or "Revised" License UpdatedJul 25, 2024 -
PUID-adriamontoto-make-my-server Public
Forked from adriamontoto/make-my-serverThese are my home server configuration/deployment files. Basically docker compose.
MIT License UpdatedJul 25, 2024 -
fork4pr-1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda GNU Affero General Public License v3.0 UpdatedJun 23, 2024 -
PUID-Night-Coder2-docker-apps Public
Forked from phoenixlegen/docker-appsShell Apache License 2.0 UpdatedApr 19, 2024 -
PUID-tempusthales-Portainer Public
Forked from tempusthales/PortainerHow to setup Portainer in Ubuntu 22.04 the right way
UpdatedMar 3, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedFeb 27, 2024 -
fork4pr-msfp-workshop.github.io Public
Forked from msfp-workshop/msfp-workshop.github.ioMSFP Workshop Website
HTML UpdatedFeb 13, 2024 -
fork4pr-keyguard-app Public
Forked from AChep/keyguard-appKeyguard is an alternative client for the Bitwarden® platform, created to provide the best user experience possible.
Kotlin Other UpdatedFeb 3, 2024 -
fork4pr-artifacthub-hub Public
Forked from artifacthub/hubFind, install and publish Kubernetes packages
TypeScript Apache License 2.0 UpdatedDec 4, 2023 -
fork4pr-cornelis Public
Forked from agda/cornelisagda-mode for neovim
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 2, 2023 -
fork4pr-build-push-action Public
Forked from docker/build-push-actionGitHub Action to build and push Docker images with Buildx
TypeScript Apache License 2.0 UpdatedDec 1, 2023 -
fork4pr-metadata-action Public
Forked from docker/metadata-actionGitHub Action to extract metadata (tags, labels) from Git reference and GitHub events for Docker
TypeScript Apache License 2.0 UpdatedNov 30, 2023 -
fork4pr-notty Public
Forked from pqwy/nottyDeclarative terminal graphics for OCaml
-
fork4pr-gmail-oauth2-tools Public
Forked from google/gmail-oauth2-toolsTools and sample code for authenticating to Gmail with OAuth2
Python Apache License 2.0 UpdatedNov 14, 2023 -
fork4pr-codacy-coverage-reporter Public
Forked from codacy/codacy-coverage-reporterMulti-language coverage reporter for Codacy
Scala Other UpdatedNov 8, 2023 -
fork4pr-ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedNov 5, 2023 -
fork4pr-shoutrrr Public
Forked from containrrr/shoutrrrNotification library for gophers and their furry friends.
Go MIT License UpdatedNov 5, 2023 -
fork4pr-no_color Public
Forked from jcs/no_colorWebsite data for no-color.org
HTML UpdatedNov 3, 2023 -
fork4pr-polytt Public
Forked from ToposInstitute/polyttA type theory with native support for Polynomial Functors.
OCaml UpdatedOct 8, 2023 -
fork4pr-ocaml-forester Public
Forked from jonsterling/ocaml-foresterOCaml GNU General Public License v3.0 UpdatedJun 1, 2023 -
fork4pr-cs3110-textbook Public
Forked from cs3110/textbookThe CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
OCaml Other UpdatedMar 20, 2023 -
zink Public archive
Go library and command line tools for z.umn.edu
Go Apache License 2.0 UpdatedMar 16, 2023 -
latedays Public archive
🏃 Management of late day requests using Google Forms and Google Sheets
-
odoc Public
Forked from ocaml/odocDocumentation compiler for OCaml and Reason
OCaml ISC License UpdatedOct 29, 2022 -
bos Public
Forked from dbuenzli/bosBasic OS interaction for OCaml
OCaml ISC License UpdatedSep 20, 2022 -
ohtt Public
Forked from mikeshulman/ohttH.O.T.T. using rewriting in Agda
-
agda-unimath Public
Forked from UniMath/agda-unimathUnivalent mathematics in Agda
Makefile MIT License UpdatedJun 12, 2022 -
umn-plseminar.github.io Public
Forked from umn-plseminar/umn-plseminar.github.ioThe plseminar.cs.umn.edu website.
HTML Other UpdatedFeb 8, 2022
{{ message }}