code-generation
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Automatically generating Coq/Gallina code | 3 | 339 | December 27, 2023 | |
Ppx_sexp_conv for code generation? | 1 | 608 | August 16, 2021 | |
Ocamlopt vs Duplo/LLVM code generation | 11 | 1531 | September 16, 2020 | |
JS_of_OCaml vs Bucklescript | 32 | 10814 | October 31, 2018 | |
Deriving make for abstract types in signatures | 2 | 989 | September 13, 2018 | |
Input wanted from biniou users (binary format supported by atdgen) | 6 | 1265 | July 18, 2018 | |
Generation of OCaml code | 12 | 3420 | June 28, 2018 |