We do seem to have a home-grown ‘GADT’-iary: Open source projects using GADTs
A couple of new and interesting ones since that thread:
- [ANN] Petrol 1.0.0 - A high-level typed SQL API for OCaml designed to go fast!
- ocaml_sql_query/sql.ml at 0516ea6c7d80a6fcf61c4d9ba551b9f0b780d9ff · yawaramin/ocaml_sql_query · GitHub by yours truly to model ‘a query can return either nothing or some resultset’