This is stars and forks stats for /seL4/isabelle repository. As of 25 Apr, 2024 this repository has 111 stars and 42 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| JuliaDynamics/DrWatson.jl | JuliaTeX | 761 | 0 | 78 | 0 |
| tensorflow/probability | Jupyter NotebookPythonOther | 4k | 0 | 1.1k | 0 |
| OxygenCobalt/Auxio | KotlinJava | 1.4k | 0 | 96 | 0 |
| CallMeDaddyBro/EthicalPixel-Admin | LuaHTML | 44 | 0 | 35 | 0 |
| x74353/Amphetamine-Enhancer | Objective-CShellOther | 874 | 0 | 41 | 0 |
| tanin47/tip | Objective-CSwiftRuby | 924 | 0 | 32 | 0 |
| google/eDistantObject | Objective-CSwiftOther | 169 | 0 | 39 | 0 |
| melange-re/melange | COCamlReason | 652 | +5 | 41 | +1 |
| Mcompetitions/M4-methods | RPythonMATLAB | 674 | 0 | 309 | 0 |
| trite/hackerrank-melange | ReasonOCaml | 5 | 0 | 0 | 0 |