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