This is stars and forks stats for /imandra-ai/imandra-document repository. As of 03 May, 2024 this repository has 0 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| trummerschlunk/soundsgood | C++Jupyter NotebookFaust | 438 | 0 | 18 | 0 |
| motion-twin/WebGamesArchives | HaxeActionScriptMathematica | 87 | 0 | 30 | 0 |
| su2code/Tutorials | PythonGLSLMATLAB | 16 | 0 | 98 | 0 |
| MAVProxyUser/YushuTechUnitreeGo1 | TeXCSSPython | 195 | 0 | 45 | 0 |
| IAIK/AEPIC | CC++Makefile | 108 | 0 | 12 | 0 |
| p-gen/smenu | CRoffShell | 2.3k | 0 | 48 | 0 |
| giantswarm/prometheus-rules | ShellGoMakefile | 16 | 0 | 2 | 0 |
| 0xfoobar/nft-delegation | SolidityMakefile | 154 | 0 | 42 | 0 |
| Shougo/vimproc.vim | Vim ScriptCMakefile | 1.1k | 0 | 133 | 0 |
| adnanaziz/EPIJudge | C++JavaPython | 2.7k | 0 | 1.8k | 0 |