| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update for n-queens | Shinya Sato | 2022-08-28 | 2 | -1/+27 |
| | | |||||
| * | v0.8.2-2 | Shinya Sato | 2022-05-30 | 3 | -3/+78 |
| | | |||||
| * | v0.8.2-1 | Shinya Sato | 2022-05-02 | 5 | -9/+101 |
| | | |||||
| * | v0.8.2 | Shinya Sato | 2022-04-28 | 4 | -18/+52 |
| | | |||||
| * | Benchmarks for OCaml | Shinya Sato | 2022-04-16 | 7 | -0/+175 |
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |