3 ms·
As far as I know, Jane Street is the go-to example for commercial users. It's also unsurprisingly used within INRIA itself (for e.g. Coq).
by 0xcde4c3db 9y ago
As far as I know, Jane Street is the go-to example for commercial users. It's also unsurprisingly used within INRIA itself (for e.g. Coq).
- nv-vn 9y agoFacebook and Bloomberg are both industrial users as well.
- danieldk 9y agoAnd Citrix for XenServer and xapi: https://github.com/xapi-project https://github.com/xapi-project
- fulafel 9y agoDocker too. https://github.com/moby/datakit https://github.com/moby/datakit https://github.com/moby/vpnkit https://github.com/moby/vpnkit