Uniqueness for Behavioural Types · KC Sivaramakrishnan
|
|
4
|
439
|
June 7, 2025
|
[BLOG] Flambda2 Ep. 4: How to write a purely functional compiler, by OCamlPro
|
|
6
|
533
|
May 30, 2025
|
Volunteers to review the relocatable-OCaml work?
|
|
5
|
567
|
May 21, 2025
|
Get the currently accessible paths (Load_path.get_path_list) from a toplevel plugin
|
|
3
|
141
|
April 19, 2025
|
Proposal: a new `exports` field in `findlib` META files
|
|
40
|
1561
|
April 15, 2025
|
Creating Opam switch fails
|
|
13
|
143
|
March 16, 2025
|
Docker base images and OCaml-CI support for OCaml < 4.08
|
|
1
|
142
|
March 6, 2025
|
Different C compiler invocation when compiling C stubs with `ocamlc` and `ocamlopt`
|
|
4
|
178
|
February 13, 2025
|
Building an OCaml cross compiler with OCaml 5.3
|
|
4
|
568
|
January 14, 2025
|
What is the consensus on compile-time evaluation?
|
|
22
|
3358
|
January 9, 2025
|
[BLOG] Using Property-Based Testing to Test OCaml 5
|
|
1
|
480
|
December 24, 2024
|
Help with Jane street extension performance
|
|
0
|
208
|
November 21, 2024
|
Ocaml isn't recognized as internal or external command in Windows terminal
|
|
2
|
171
|
November 3, 2024
|
Wildcard expansion on Windows
|
|
3
|
151
|
October 17, 2024
|
My first experience with OCaml
|
|
12
|
748
|
September 18, 2024
|
Compilation issue : Option -a cannot be used with .cmxa input files
|
|
2
|
92
|
September 17, 2024
|
GitHub - meta-introspector/ocaml-libppx-import-yojson-introspector: Using libppx, ppx_import, reflect over ast using
|
|
1
|
92
|
August 17, 2024
|
Janestreet OCaml compiler extensions
|
|
19
|
1891
|
August 10, 2024
|
[BLOG] How I built the Acutis template language in OCaml
|
|
0
|
183
|
July 6, 2024
|
Help with cryptic dependency cycle compile errors using `dune build`
|
|
8
|
208
|
June 27, 2024
|
Experiments in JITting
|
|
7
|
449
|
June 26, 2024
|
Embedding a toplevel
|
|
4
|
365
|
June 25, 2024
|
[BLOG] Flambda2 Ep. 2: Loopifying Tail-Recursive Functions, by OCamlPro
|
|
3
|
464
|
June 10, 2024
|
Create opam switch specifying custom C compiler
|
|
13
|
835
|
June 6, 2024
|
How to share compiler installation between switches?
|
|
7
|
492
|
April 7, 2024
|
[BLOG] The Flambda2 Snippets, by OCamlPro
|
|
9
|
1575
|
March 30, 2024
|
Is it possible to generate type definitions using expressions?
|
|
13
|
508
|
March 30, 2024
|
Dune compilation with -output-obj
|
|
4
|
377
|
March 14, 2024
|
State of compaction in OCaml 5?
|
|
3
|
605
|
February 20, 2024
|
Where to find complete documentation on syntax overloading in OCaml?
|
|
9
|
1202
|
October 26, 2023
|