| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| pfsense/pfsense | PHPShellJavaScript | 4.4k | +11 | 1.4k | +1 |
| hacspec/hacspec | CoqRustF* | 227 | +2 | 43 | +1 |
| ecere/ecere-sdk | eCCMakefile | 309 | 0 | 94 | 0 |
| HWatanuki/TrainingPRO3601 | ECL | 1 | 0 | 35 | 0 |
| HWatanuki/TrainingDominandoBigDataIntro | ECL | 4 | 0 | 27 | 0 |
| EasyCrypt/easycrypt | OCamleCPython | 246 | 0 | 45 | 0 |
| HWatanuki/TrainingDominandoBigDataInter | ECL | 3 | 0 | 25 | 0 |
| bobf2000/ODSCWest2022 | ECLProlog | 2 | 0 | 7 | 0 |
| dnaeon/cl-jingle | Common LispHTMLShell | 46 | 0 | 2 | 0 |
| OPM/opm-tests | ECLAssemblyC++ | 21 | 0 | 49 | 0 |
| formosa-crypto/libjade | eCCMakefile | 33 | 0 | 11 | 0 |
| hpcc-systems/helm-chart | SmartyShellMustache | 9 | 0 | 31 | 0 |
| jasmin-lang/jasmin | CoqOCamleC | 179 | 0 | 38 | 0 |
| dnaeon/cl-jwk | Common LispShellECL | 17 | 0 | 0 | 0 |