-
-
-
-
-
-
-
-
-
moralpain_dev Public
VSCode + Docker container development environment for moral distress project
-
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedDec 27, 2023 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover, Sullivan fork
Lean Apache License 2.0 UpdatedDec 25, 2023 -
pydev Public
Lightweight VSCode remote container for Python development
-
-
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedApr 2, 2023 -
urweb Public
Forked from urweb/urwebThe Ur/Web programming language
Standard ML Other UpdatedMar 28, 2023 -
mathpub_config Public
Docker container for math publication development
Dockerfile UpdatedJan 27, 2023 -
-
images Public
Forked from devcontainers/imagesRepository for pre-built dev container images published under mcr.microsoft.com/devcontainers
JavaScript MIT License UpdatedDec 31, 2022 -
-
-
-
vscode-tlaplus Public
Forked from tlaplus/vscode-tlaplusTLA+ language support for Visual Studio Code
TypeScript MIT License UpdatedSep 28, 2022 -
-
-
datasci-dev Public
Containerized Ubuntu 20.04 LTS-based image for data science engineering
-
-
-
{{ message }}