performance
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Minisat-ml: a reimplementation of minisat in OCaml |
|
2 | 1260 | April 10, 2019 |
| Closures, Inlining, performance optimization for anonymous functions |
|
9 | 2058 | April 27, 2018 |
| A new List.map that is both stack-safe and fast |
|
34 | 12891 | February 24, 2018 |
| Energy efficiency of programming languages, OCaml tops functional ones |
|
6 | 1657 | September 21, 2017 |