This is stars and forks stats for /kevinsullivan/TLAPlusDocker repository. As of 25 Apr, 2024 this repository has 8 stars and 11 forks.
VSCode Dev Containter for TLA+ By Kevin Sullivan. University of Virginia Department of Computer Science. Building with gratitude on work by many others, esp LL. What this is A TLA+ development environment through VSCode, Docker, and Dev Containers Good enough for this Gentle Introduction to TLA+ (not mine): [https://www.youtube.com/watch?v=D_sh1nnX3zY]. TLA+ environment based on this installer (not mine): [https://github.com/lemmy/ewd998/blob/main/.devcontainer/install.sh] Installed and running in...
VSCode Dev Containter for TLA+ By Kevin Sullivan. University of Virginia Department of Computer Science. Building with gratitude on work by many others, esp LL. What this is A TLA+ development environment through VSCode, Docker, and Dev Containers Good enough for this Gentle Introduction to TLA+ (not mine): [https://www.youtube.com/watch?v=D_sh1nnX3zY]. TLA+ environment based on this installer (not mine): [https://github.com/lemmy/ewd998/blob/main/.devcontainer/install.sh] Installed and running in...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| elixirschool/school_house | ElixirHTMLJavaScript | 144 | 0 | 44 | 0 |
| dwyl/phoenix-chat-example | ElixirHTMLJavaScript | 696 | 0 | 84 | 0 |
| zalando/zally | KotlinJavaScriptGo | 823 | 0 | 136 | 0 |
| nf-core/vipr | NextflowPythonDockerfile | 14 | 0 | 10 | 0 |
| nf-core/crisprvar | NextflowHTMLPython | 5 | 0 | 3 | 0 |
| jupyterhub/jupyterhub | PythonJavaScriptHTML | 7.4k | +9 | 2k | 0 |
| jcrodriguez1989/rco | RDockerfile | 83 | 0 | 19 | 0 |
| triffon/fp-2022-23 | RacketHaskellScheme | 9 | 0 | 6 | 0 |
| bukowa/http-headers | ShellGoMakefile | 0 | 0 | 2 | 0 |
| Azure/PSRule.Rules.Azure-quickstart | BicepPowerShellDockerfile | 27 | 0 | 22 | 0 |