repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ecere/ecere-sdk | eCCMakefile | 304 | 0 | 94 | 0 |
HWatanuki/TrainingPRO3601 | ECL | 1 | 0 | 35 | 0 |
HWatanuki/TrainingDominandoBigDataIntro | ECL | 4 | 0 | 27 | 0 |
EasyCrypt/easycrypt | OCamleCPython | 219 | 0 | 40 | 0 |
HWatanuki/TrainingDominandoBigDataInter | ECL | 3 | 0 | 25 | 0 |
pfsense/pfsense | PHPShellJavaScript | 4.1k | 0 | 1.4k | 0 |
bobf2000/ODSCWest2022 | ECLProlog | 1 | 0 | 6 | 0 |
hacspec/hacspec | CoqRustF* | 187 | 0 | 37 | 0 |
OPM/opm-tests | ECLAssemblyC++ | 21 | 0 | 49 | 0 |