dannywillems/RML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
OCaml
Stargazers
- a-nikolaev
- brendanzab@yeslogic
- c-cubeImandra (@imandra-ai)
- CharlesCreativeContentAmazon
- chenglouCalifornia
- clayratIMDEA Software
- cometkim@daangn
- d-plaindouxFreelance at Fungus
- dmtrKovalenko@LightsourceAI
- DrupInria
- ebresafegaga
- geduardcatalindev
- ghuysmans@isfath
- hengestone
- iomonadLutetia Parisiorum
- Kensuke-Hinataredocpot
- lanqyShenzhen,China
- Mathnerd314
- medson10Votorantim, Brazil
- minadGermany
- nikitavoloboevTbilisi
- noti0na1LAMP, EPFL
- ollefAscenium
- phinkNomadic Labs
- PitometsuUkraine
- QuietEvolver
- savi2w@creme-tech
- secondwtqSichuan University
- smondetNew York, NY
- smorimoto@ocaml @tc39
- theatlasroomMelbourne
- timothyklim
- tkersey@thisisartium
- v217
- xennygrimmatoGoogle
- xvw@funkywork, @tarides