-
OCamlPro
- ocamlpro.com
Emre Balkay
EmreBlky
Sevdiğin Her ne ise Onu Bull ve Seni Öldürmesine İzin Ver.....!!!
MicroChipTecnology Körfez
Arthur Santos
art-santos
Learning Go and Python. Trying to POST one experiment a day on https://github.com/art-santos/language-database-benchmark/
arthursantos.codes Brazil
Erik Martin-Dorel
erikmd
Assoc. Prof. in Computer Science
Lab. IRIT, Univ. Toulouse Toulouse, France
Sora Morimoto
smorimoto
@ocaml @tc39 San Francisco, CA
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving