This is stars and forks stats for /sireum/proyek-example repository. As of 07 May, 2024 this repository has 0 stars and 0 forks.
Proyek Example This repository holds a simple Sireum Proyek example, with project definition specified in bin/project.cmd. To try: Install Sireum IVE by following the instructions at: https://github.com/sireum/kekinian. Add SIREUM_HOME's bin directory to the PATH environment variable: macOS/Linux: export PATH=$PATH:$SIREUM_HOME/bin Windows set PATH=%PATH%;%SIREUM_HOME%\bin Clone this repository and change the directory to the local repository: git clone https://github.com/sireum/proyek-example cd...
Proyek Example This repository holds a simple Sireum Proyek example, with project definition specified in bin/project.cmd. To try: Install Sireum IVE by following the instructions at: https://github.com/sireum/kekinian. Add SIREUM_HOME's bin directory to the PATH environment variable: macOS/Linux: export PATH=$PATH:$SIREUM_HOME/bin Windows set PATH=%PATH%;%SIREUM_HOME%\bin Clone this repository and change the directory to the local repository: git clone https://github.com/sireum/proyek-example cd...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Wack0/CVE-2022-21894 | CBatchfile | 255 | 0 | 57 | 0 |
| snowplow/enrich | ScalaOther | 16 | 0 | 31 | 0 |
| SHARKgamestudio/Windows-Free-Activator-WBFA | Batchfile | 65 | 0 | 3 | 0 |
| MizzyPD/Pokemon-Daybreak | RubyBatchfile | 61 | 0 | 114 | 0 |
| GaiZhenbiao/ChuanhuChatGPT | PythonJavaScriptCSS | 12.6k | +75 | 2k | +12 |
| Alex313031/Thorium-Win | Batchfile | 208 | 0 | 12 | 0 |
| snowplow/stream-collector | Scala | 19 | 0 | 26 | 0 |
| ogxd/grid-shader-unity | ShaderLabC#Batchfile | 164 | 0 | 22 | 0 |
| mspnp/azure-data-factory-sqldw-elt-pipeline | TSQLPowerShellBatchfile | 68 | 0 | 77 | 0 |
| moiify/AutoGreen | ShellBatchfile | 13 | 0 | 13 | 0 |