This is stars and forks stats for /seL4/website repository. As of 05 May, 2024 this repository has 3 stars and 10 forks.
seL4 Website The seL4.systems website is built on a templating engine based on PSP It requires a python 3 mod_python for Apache2. Docker The directory docker/ provides a docker file and some scripts to host the website inside a container. It is also used for GitHub pull request checks and preview. To use the docker container locally, install docker and run cd docker make This will build the container (takes a while the first time), and then run it such that you can preview the website on port 8080...
seL4 Website The seL4.systems website is built on a templating engine based on PSP It requires a python 3 mod_python for Apache2. Docker The directory docker/ provides a docker file and some scripts to host the website inside a container. It is also used for GitHub pull request checks and preview. To use the docker container locally, install docker and run cd docker make This will build the container (takes a while the first time), and then run it such that you can preview the website on port 8080...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
SCUTlihaoyu/open-chat-video-editor | Python | 2.3k | 0 | 296 | 0 |
imartinez/privateGPT | Python | 38.4k | 0 | 5.1k | 0 |
GFW-knocker/gfw_resist_HTTPS_proxy | Python | 378 | +3 | 44 | 0 |
IBM/Dromedary | PythonShell | 994 | +10 | 76 | 0 |
SamurAIGPT/ChatGPT-Developer-Plugins | Python | 638 | 0 | 64 | 0 |
getsentry/sentry-python | PythonOther | 1.6k | 0 | 439 | 0 |
leppa/taot | QMLC++QMake | 22 | 0 | 7 | 0 |
tgerke/ggconsort | RCSS | 43 | 0 | 7 | 0 |
DeutschBall/NovelNook | SCSSVueJava | 0 | 0 | 11 | 0 |
pixel-perfect-agency/next-foundation | TypeScriptJavaScriptCSS | 6 | 0 | 1 | 0 |