This is stars and forks stats for /ocaml-multicore/multicoretests repository. As of 03 May, 2024 this repository has 30 stars and 14 forks.
Multicore tests Property-based tests of (parts of) the OCaml multicore compiler and run time. This project contains a randomized test suite of OCaml 5.x, packaged up in multicoretests.opam two reusable testing libraries: Lin packaged up in qcheck-lin.opam and STM packaged up in qcheck-stm.opam All of the above build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries are already quite helpful Installation instructions, and running the tests The multicore...
Multicore tests Property-based tests of (parts of) the OCaml multicore compiler and run time. This project contains a randomized test suite of OCaml 5.x, packaged up in multicoretests.opam two reusable testing libraries: Lin packaged up in qcheck-lin.opam and STM packaged up in qcheck-stm.opam All of the above build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries are already quite helpful Installation instructions, and running the tests The multicore...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| lynchzilla/ECG_Simulator_Documents | Other | 7 | 0 | 0 | 0 |
| threefoldtech/3bot | SolidityGoOther | 1 | 0 | 0 | 0 |
| POPL-M23/Lecture-Notes | TeXOther | 0 | 0 | 10 | 0 |
| paradigmxyz/rivet | TypeScriptOther | 627 | +6 | 48 | +1 |
| Nitcloud/Digital-IDE | VerilogVHDLV | 245 | 0 | 16 | -1 |
| guozhigq/pilipala | DartC++CMake | 1.2k | 0 | 22 | 0 |
| jhipster/generator-jhipster-nodejs | EJSJavaScriptOther | 241 | 0 | 100 | +2 |
| kiegroup/kie-tools | JavaTypeScriptJavaScript | 170 | 0 | 130 | 0 |
| saleha-muzammil/Academic-Time-Machine | Jupyter NotebookCC++ | 97 | 0 | 22 | 0 |
| kzahel/dotfiles | Emacs LispOther | 3 | 0 | 0 | 0 |